Системы искусственного интеллекта

  

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

Изложены современные вопросы теории и практики систем искусственного интеллекта. Рассмотрены различные типы исчислений, используемых для создания систем искусственного интеллекта, включая такие их свойства, как мультиагентность, нечеткость, модальность и т.п. С помощью аппарата логики показано, что входит в дисциплину искусственного интеллекта, начиная с решения методами искусственного интеллекта простых задач синтеза дискретных устройств и заканчивая задачами моделирования и анализа ситуаций, возникающих в процессе управления предприятиями.

Содержание учебника соответствует курсу лекций, который автор читает в МГТУ им. Н.Э. Баумана.

Для студентов, аспирантов, инженеров и научных работников технических специальностей.



Оглавление

ПРЕДИСЛОВИЕ
1. ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
1.2. Агенты — носители искусственного интеллекта
1.3. Среды и агенты
2. ЛОГИЧЕСКИЕ РАССУЖДЕНИЯ
2.2. Логика высказываний
2.3. Исчисление высказываний
2.3.2. Формализация вывода средствами логики высказываний
2.3.3. Нахождение целевого состояния
2.4. Рассуждения в терминах интервалов
2.4.3. Число формул в логике высказываний, требуемых для представления знаний
3. ЛОГИКА ПРЕДИКАТОВ
3.1. Синтаксис и семантика
3.2. Переход от естественного языка к языку логики предикатов
4. ВЫВОД В ЛОГИКЕ ПРЕДИКАТОВ
4.2. Прямой и обратный вывод
4.3. Полнота и непротиворечивость исчисления
4.4. Вывод на основе правила резолюции
4.4.3. Преобразование произвольной формулы логики предикатов первого порядка в клаузальную форму
5. СРЕДЫ И ЯЗЫКИ
5.3. Описание автомата на языке логики предикатов
5.4. Построение автомата методом детерминизации
5.5. Граф переходов состояний среды
5.6. Использование графа переходов для поиска в пространстве состояний
5.7. Построение графа состояний
5.8. Языки и грамматики
5.9. Грамматический анализ и автоматы
5.10. Перевод с одного языка на другой
6. СТРАТЕГИИ ПОИСКА
6.2. Слепой поиск
6.2.5. Итеративный поиск в глубину
6.3. Направленный поиск
7. СИТУАЦИОННОЕ ОПИСАНИЕ СРЕДЫ
7.2. Среда логических электронных схем
7.3. Среда обезьяны и банана
8. СИТУАЦИОННОЕ ИСЧИСЛЕНИЕ
8.2. Аксиомы ситуационного исчисления
8.3. Охота на индейку
9. МОДАЛЬНОСТЬ В СИТУАЦИОННОМ ИСЧИСЛЕНИИ
9.2. Язык временной модальной логики
9.3. Модель параллельных процессов
9.4. Мультипрограммное выполнение параллельных процессов
9.5. Модальная логика и анализ параллельных процессов
9.6. Инвариантные свойства
9.7. Свойства живости (осуществимости)
9.8. Свойства предшествования
9.9. Доказательство свойств корректности
10. ДЕДУКТИВНЫЕ БАЗЫ ДАННЫХ
10.2. Реляционная алгебра
10.3. Триггеры
10.4. Реляционная база данных и логические исчисления
10.5. Переход от Дейталога к SQL
10.6. Ситуационное исчисление в дедуктивной базе данных
10.7. Проверка ограничений целостности
11. НЕЧЕТКИЕ ЗНАНИЯ И РАССУЖДЕНИЯ
11.2. Принцип обобщения и степень совместимости
11.3. Нечеткая база данных
11.4. Нечеткие действия (операторы)
11.5. Нечеткозначное исчисление
11.6. Задача диагностики тепловых сетей
11.7. Проблемно-ориентированный язык
11.8. Переход от проблемно-ориентированного языка к языку нечеткозначного исчисления
11.9. Результаты решения задачи диагностики
12. ПЛАНИРОВАНИЕ ДЕЙСТВИЙ
12.2. Оценка плана
13. ОНТОЛОГИИ И ИХ ПРИМЕНЕНИЕ
13.2. Постановка задачи создания онтологии
13.3. Использование онтологий
14. РЕАЛИЗАЦИЯ СИСТЕМ
14.2. Извлечение знаний
14.3. Формализация
14.4. Выбор стратегии вывода
14.5. Реализация
ЗАКЛЮЧЕНИЕ
Список литературы
email@scask.ru