Контрольные вопросы

1. Что такое логическое программирование?

2. Поясните процесс автоматизации доказательств в логике предикатов.

3. В чём состоит метод резолюций в исчислении высказываний?

4. Поясните правило унификации в логике предикатов.

5. Что такое метод резолюций в исчислении предикатов?

Литература Основная литература

1. Рыбина, г.В. Основы построения интеллектуальных систем: учебное пособие. / г.В. Рыбина. — м.: инфра-м, 2010. — 431 с. — Режим доступа:

http://www.knigafund.ru/books/114439

2. Джонс, М.Т. Программирование искусственного интеллекта в приложениях. / М.Т. Джонс. — М.: ДМК Пресс, 2011. — 312 с. — Режим доступа:

http://e.lanbook.com/books/element.php?pl1_cid=25&pl1_id=1244

3. Конышева, Л.К. Основы теории нечетких множеств. Учебное пособие. / Л.К. Конышева, Д.М. Назаров. — СПб.: Питер, 2011. — 192 с. — Режим доступа:

http://ibooks.ru/product.php?productid=23141&cat=0&page=1

4. Гладков, Л.А. Генетические алгоритмы .Изд. 2./ Л.А. Гладков, В.В. Курейчик, В.М. Курейчик. — М.: ФИЗМАТЛИТ, 2009. — 320 с. — Режим доступа:

http://ibooks.ru/product.php?productid=22954&cat=0&page=1

Дополнительная литература

1. Представление знаний в информационных системах. / Ю.Ю. Громов [и др.]. — Тамбов; М.; СПб.; Баку; Вена: Нобелистика, 2008. — 144 с.

2. Дякин, В.Н. Разработка интеллектуальных информационных систем с использованием CLIPS: методические указания к практическим и лабораторным работам. / В.Н. Дякин. — Тамбов: Издательство Тамбовского государственного технического университета, 2007. — 32 с.

Периодическая литература

1. «Информационные технологии»

2. «Информационные технологии и вычислительные системы»

3. «Вопросы искусственного интеллекта»

4. «Перспективные информационные технологии и интеллектуальные системы»

5. «Искусственный интеллект и принятие решений»

6. «Искусственный интеллект»

7. «Интеллектуальные системы»

Интернет-ресурсы

1. http://clipsrules.sourceforge.net/

2. http://www.intuit.ru/department/human/isrob/

3. http://www.ai-class.com/

4. http://www.machinelearning.ru/wiki/