ВКР: Прикладные возможности логического программирования с ограничениями

2

ОГЛАВЛЕНИЕ

Введение…………………………………………………………………………..4

ГЛАВА I. Интеллектуальные системы………………………………….. ….7

1.1. Экспертные системы………………………………………………………. 8

1.1.1. Типовая структура экспертных систем.................................................... 10

1.1.2. Функционирование экспертной системы................................................ 13

1.2. Знания............................................................................................................................... 14

1.2.1. Представление знаний................................................................................... 16

1.2.2. Процесс накопления знаний....................................................................... 18

1.2.3. Формирование простой базы знаний на примере мира робота-

уборщика....................................................................................................................... 20





ГЛАВА II. Логические аспекты проектирования интеллектуальных

систем....................................................................................................................................... 23

2.1. Логический вывод........................................................................................................ 23

2.2. Правило резолюции..................................................................................................... 24

2.3. Конъюнктивная нормальная форма....................................................................... 28





ГЛАВА III. Логическое программирование......................................................... 35

3.1. Язык логического программирования Prolog................................................... 32

3.2. Программирование с ограничениями.................................................................... 34

3.3. Язык логического программирования с ограничениями ECLiPSe.......... 42

3

3.3.1 Особенности языка........................................................................................... 44

3.3.2. Библиотеки......................................................................................................... 45

3.3.3. Архитектура системы..................................................................................... 46





ГЛАВА IV. Проекты......................................................................................................... 48

4.1. Интернет вещей............................................................................................................ 48

4.2. Языки и инструменты................................................................................................. 49

4.3. Моделирование............................................................................................................ 49

Заключение........................................................................................................................... 52

Список литературы.......................................................................................................... 54

4

ВВЕДЕНИЕ

Многие люди считают, что наука искусственного интеллекта направлена лишь на построение некой мыслящей машины, которая могла бы обладать схожими с человеческими чувствами и действовать подобным образом, так, чтобы сторонний наблюдатель мог сказать, что эта машина обладает разумом. На самом деле проблема гораздо шире и глубже. Большинство тем, касающихся искусственного интеллекта, актуальны так или иначе, ведь данная область является междисциплинарной и затрагивает не только «базовые» науки – философию, математику, механику, программирование.

На этот раз мы решили затронуть проблему на стыке двух областей: программирования и философской логики. Так как наука об искусственном интеллекте берет свое начало в философии, то нельзя даже предположить, что данной проблемой рано или поздно не заинтересуется столь строгая область, более того – самим предметом науки логики является мышление и законы, согласно которым оно осуществляется. Нельзя представить исследования разума без обращения к его инструменту, то есть мышлению. Однако одной логики не достаточно для построения мыслящей машины, ведь это чисто теоретическая наука, нуждающаяся в инструментарии, который она нашла в программировании.