Девятков В.В. Системы искусственного интеллекта

Учеб. пособие для вузов. – М.: Изд-во МГТУ им. Н.Э.Баумана, 2001. –352 с.
Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентноcть, нечеткость, модальность и т. п.
С помощью аппарата логики показано что входит в дисциплину искусственного интеллекта, начиная с решения методами искусственного интеллекта простых задач синтеза дискретных устройств и заканчивая задачами моделирования и анализа ситуаций, возникающих в процессе управлений предприятиями.
Содержание учебника соответствует курсу лекций, который автор читает в МГТУ им. Н. Э. Баумана.
Для студентов, аспирантов, инженеров и научных работников технических специальностей.

Содержание:
1. Искусственный интеллект.
1.1. Что же такое искусственный интеллект?
1.2. Агенты – носители искусственного интеллекта.
1.3. Среды и агенты.
2. Логические рассуждения.
2.1. Рассуждения в пространстве состояний среды.
2.2. Логика высказываний.
2.3. Исчисление высказываний.
2.4. Рассуждения в терминах интервалов.
3. Логика предикатов.
3.1. Синтаксис и семантика.
3.2. Переход от естественного языка к языку логики предикатов.
3.3. Постановка задачи для среды чудовища в логике предикатов.
4. Вывод в логике предикатов.
4.1. Исчисление предикатов.
4.2. Прямой и обратный вывод.
4.3. Полнота и непротиворечивость исчисления.
4.4. Вывод на основе правила резолюции.
5. Среды и языки.
5.1. Автомат и среда.
5.2. Язык и автомат.
5.3. Описание автомата на языке логики предикатов.
5.4. Построение автомата методом детерминизации.
5.5. Граф переходов состояний среды.
5.6. Использование графа переходов для поиска в пространстве состояний.
5.7. Построение графа состояний.
5.8. Языки и грамматики.
5.9. Грамматический анализ и автоматы.
5.10. Перевод с одного языка на другой.
6. Стратегии поиска.
6.1. Оценки успеха при поиске цели.
6.2. Слепой поиск.
6.3. Направленный поиск.
7. Ситуационное описание среды.
7.1. Базовые понятия ситуационной модели.
7.2. Среда логических электронных схем.
7.3. Среда обезьяны и банана.
8. Ситуационное исчисление.
8.1. Язык ситуационного исчисления.
8.2. Аксиомы ситуационного исчисления.
8.3. Охота на индейку.
9. Модальность в ситуационном исчислении.
9.1. Модальность и модальная логика.
9.2. Язык временной модальной логики.
9.3. Модель параллельных процессов.
9.4. Мультипрограммное выполнение параллельных процессов.
9.5. Модальная логика и анализ параллельных процессов.
9.6. Инвариантные свойства.
9.7. Свойства живости (осуществимости).
9.8. Свойства предшествования.
9.9. Доказательство свойств корректности.
10. Дедуктивные базы данных.
10.1. Реляционные базы данных.
10.2. Реляционная алгебра.
10.3. Триггеры.
10.4. Реляционная база данных и логические исчисления.
10.5. Переход от Дейталога к SQL.
10.6. Ситуационное исчисление в дедуктивной базе данных.
10.7. Проверка ограничений целостности.
11. Нечеткие знания и рассуждения.
11.1. Нечеткое множество и функция принадлежности.
11.2. Принцип обобщения и степень совместимости.
11.3. Нечеткая база данных.
11.4. Нечеткие действия (операторы).
11.5. Нечеткозначное исчисление.
11.6. Задача диагностики тепловых сетей.
11.7. Проблемно-ориентированный язык.
11.8. Переход от проблемно-ориентированного языка к языку нечеткозначного исчисления.
11.9. Результаты решения задачи диагностики.
12. Планирование действий.
12.1. Задачи планирования.
12.2. Оценка плана.
13. Онтологии и их применение.
13.1. Введение в онтологию.
13.2. Постановка задачи создания онтологии.
13.3. Использование онтологии.
14. Реализация систем.
14.1. Архитектура.
14.2. Извлечение знаний.
14.3. Формализация.
14.4. Выбор стратегии вывода.
14.5. Реализация