Библиографический список

1. Люггер Джордж Ф. Искусственный интеллект: стратегии и методы решения сложных проблем / Джордж Ф. Люггер. – М. : Вильямс, 2004. – 864 с.

2. Искусственный интеллект : справ. / под ред. Д.А. Поспелова. в 3-х кн. Кн.2. Модели и методы. – М. : Радио и связь, 1990. – 304 с.

3. Вагнер, Г. Основы исследования операций. В 3 т. Т.2 / Г. Вагнер. – М. : Мир, 1972. – 488 с.

4. Представление и использование знаний / под ред. Уэно Х., Исидзука М. – М.: Мир, 1989. – 220 с.

5. Базы данных. Интеллектуальная обработка информации / В.В. Корнеев, А.Ф. Гареев, С.В. Васютин, В.В. Райх. – М. : Нолидж, 2001. – 496 с.

6. Старков, Ф.А. Распознавание образов : учеб. пособие / Ф.А. Старков, Е.Ф. Старков. – Курск : Изд-во Курского гуманитарно-техн. ин-та, 2000. – 140 с.

7. Андрейчиков А.В. Интеллектуальные информационные системы : учеб. / А.В. Андрейчиков, О.Н. Андрейчикова. – М. : Финансы и статистика, 2004. – 424 с.

8. Осуга, С. Обработка знаний / С. Осуга. – М. : Мир, 1989. – 293 с.

9. Приобретение знаний / под ред. С. Осуги, Ю. Саэки. – М. : Мир, 1990. – 304 с.

10. Лорьер Ж.-Л. Системы искусственного интеллекта / Ж.-Л. Лорьер. – М. : Мир, 1991. – 568 с.

11. Девятков, В.В. Системы искусственного интеллекта : учеб. пособие для вузов / В.В. Девятков. – М. : Изд-во МГТУ им. Н.Э.Баумана, 2001. – 352 с.

12. Стерлинг, Л. Искусство программирования на языке Пролог / Л. Стерлинг, Э. Шапиро. – М. : Мир, 1990. – 235 с.

13. Малпас Дж. Реляционный язык Пролог и его применение / Дж. Мал­пас. – М. : Наука, 1990. – 464 с.

14. Братко, И. Алгоритмы искусственного интеллекта на языке Prolog / И. Братко. – М. : Вильямс, 2004. – 640 с.

15. Лапшин, В.А. Онтология в компьютерных системах / В.А. Лапшин. – М. : Научный мир, 2010. – 224 с.

Оглавление

ВВЕДЕНИЕ 3

1. ЛОГИКА ПРЕДИКАТОВ ПЕРВОГО ПОРЯДКА 6

1.1. Основы логики предикатов первого порядка 6

1.2. Основы Пролога 8

1.3. Назначение и основные возможности SWI-Prolog 11

1.4. Лабораторная работа № 1 Представление фактов и правил в Прологе 14

1.5. Лабораторная работа № 2. Рекурсия в Прологе 17

1.6. Лабораторная работа № 3. Обработка списков в Прологе 22

2. ОНТОЛОГИИ 25

2.1. Онтологии и семантическая паутина 25

2.2. Краткие сведения о спецификациях семантической паутины 28

2.3. Лабораторная работа № 4 Построение онтологической модели в Protégé. Создание классов 34

2.4. Лабораторная работа № 5 Построение онтологической модели в Protégé. Создание экземпляров классов 41

2.5. Лабораторная работа № 6 Выполнение SPARQL-запросов в Protégé 44

3. ЭВРИСТИЧЕСКИЕ АЛГОРИТМЫ 47

3.1. Методы поиска решений с использованием графов 47

3.2. Лабораторная работа № 7 Решение оптимизационной задачи с использованием эвристического алгоритма 51

4. НЕЧЕТКИЕ МНОЖЕСТВА 57

4.1. Основы теории нечетких множеств и нечеткой логики 57

4.2. Лабораторная работа № 8. Решение прикладной задачи с использованием нечетких множеств 61

5. ГЕНЕТИЧЕСКИЕ АЛГОРИТМЫ 66

5.1. Эволюционные вычисления 66

5.2. Лабораторная работа № 9. Решение оптимизационной задачи с использованием генетического алгоритма 68

6. ИСКУССТВЕННЫЕ НЕЙРОННЫЕ СЕТИ 73

6.1. Распознавание образов 73

6.2. Лабораторная работа № 10. Распознавание образов с использованием искусственной нейронной сети 81

Заключение 86

БИБЛИОГРАФИЧЕСКИЙ СПИСОК 88

Учебное издание

Анисимов Владимир Викторович

Ешенко Роман Анатольевич