Братко И. Алгоритмы искусственного интеллекта на языке Prolog

3-е издание. — Пер. с англ. — М.: Вильямс, 2001. — 640 с.: ил.В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление знаний и экспертные системы, планирование, машинное обучение, качественные рассуждения, обработка текста на различных языках и ведение игр.
Книга предназначена для тех, кто проходит обучение в области языка Prolog и искусственного интеллекта или интересуется этими перспективными направлениями. От читателя не требуется наличие знаний в области искусственного интеллекта. Не обязательна также значительная подготовка в области программирования.Предисловие.
Язык Prolog.
Введение в Prolog.
Синтаксис и значение программ Prolog.
Списки, операции, арифметические выражения.
Использование структур: примеры программ.
Управление перебором с возвратами.
Ввод и вывод.
Дополнительные встроенные предикаты.
Стиль и методы программирования.
Операции со структурами данных.
Усовершенствованные методы представления деревьев.
Применение языка Prolog в области искусственного интеллекта.
Основные стратегии решения проблем.
Эвристический поиск по заданному критерию.
Декомпозиция задач и графы AND/OR.
Логическое программирование в ограничениях.
Представление знаний и экспертные системы.
Командный интерпретатор экспертной системы.
Планирование.
Машинное обучение.
Индуктивное логическое программирование.
Качественные рассуждения.
Обработка лингвистической информации с помощью грамматических правил.
Ведение игры.
Метапрограммирование.
Приложения.
Некоторые различия между реализациями Prolog.
Некоторые часто используемые предикаты.
Решения к отдельным упражнениям.
Список литературы.
Предметный указатель.