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

1. Клоксин У., Меллиш К. Программирование на языке Пролог. 334 с.

2. Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, 1990 – 560 с.

3. Дж. Малпас. Реляционный язык Пролог и его применение. М.: Мир, 1990 – 430 с.

4. Левин Р., Дранг Д., Эделсон Б. Практическое введение в технологию искусственного интеллекта и экспертных систем с иллюстрациями на Бейсике. М.: Финансы и статистика, 1991 – 239 с.

5. Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ. – М.: Машиностроение, 1990 – 240 с.

6. Глибовець М.М., Кравченко І.В., Олецький О.В., Терещенко В.М. Програмування в ПРОЛОЗІ: Навчально-метод. посібник для студентів факультету кібернетики.-К.: РВЦ <<Київський університет>>, 1998. - c.95.

7. Пугачев Е.К. Язык программирования Prolog применительно к системам искусственного интеллекта: Методические указания по выполнению лабораторных работ по дисциплине "Системы искусственного интеллекта” - Московский государственный технический университет имени Н.Э. Баумана, 2000 – с. 28.

Зміст

Вступ 2

Теоретична частина 3

Методи розв’язання задач. 3

Розв’язання задач методом пошуку в просторі станів. 4

Загальна схема алгоритму Харта, Нільсона і Рафаеля 5

Рис. 2. Цільова позиція 8

Рис. 1. Головоломка "гра у 8" 8

Рис. 3. Фрагмент графу станів 8

Розв’язання задач методом редукції. 9

Розв’язання задач дедуктивного вибору 11

Розв’язання задач, що використовують немонотонні логіки, імовірнісні логіки. 12

Експертні системи. 13

Рис.1. Структура експертних систем 15

Експертна система, заснована на правилах 19

Експертні системи, що базуються на логіці. 20

Модуль (компонент) пояснення. 21

Модуль набуття знань (компонент набуття знань). 22

Етапи проектування ЕС. 23

Відмінність експертних систем від традиційних програм 25

Основи програмування на мові Visual Prolog 27

Загальний огляд мови Пролог 27

Основні теоретичні відомості 27

Основні визначення мови Visual Prolog (далі просто Пролог) 27

Структура програми на мові Пролог (для Visual Prolog 5.2) 29

CONSTANTS 31

Предикати введення - виведення 31

Об’єкти даних 31

Завдання 1. 32

Вбудовані механізми мови Пролог. Управління бектрекінгом. 33

Організація циклів. Рекурсія. 35

Моделювання недетермінованого скінченного автомата. 38

Рис 4. Приклад недетермінованого скінченного автомата. 39

Рис. 5 Допущення ланцюжка: (а) при зчитуванні першого символа ; (б) при здійсненні спонтанного переходу. 41

Використання динамічної бази даних 42

Рекомендації для створення програм на Пролозі. 43

Завдання 2. 45

Рекурсивні структури даних 45

Структура даних типу дерева 45

Рис 6. 46

Обходи дерева 46

Бінарний пошук на дереві. 48

Сортування по дереву 49

Лексикографічне впорядкування 49

Списки 51

Рис.7. 51

Реалізація деяких методів пошуку в просторі станів на Пролозі. 54

Рис.8. 54

Рис.9. 55

Завдання 3. 57

Короткі відомості про засоби програмування інтерфейсів (VPI) Visual Prolog 5.2 57

Створення найпростішого додатку. 58

Додавання пункту меню. 58

Рис.10. 59

Рис.11. 59

Рис.12. 59

Додавання речення для реагування 60

на вибір пункту меню 60

Рис.13. 60

Вставка предикату dlg_Note в речення. 60

Рис.14. 61

Рис.15. 61

Використання діалогових вікон, створених користувачем. 62

Завдання 4. 63

Рис.16. 70

Додаток 72

Експертна система ідентифікації птахів Північної Америки. 72

Рис.17. 72

Експертна система фінансового планування. 83

Список літератури. 90

92