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

Титульный лист ......Page 3
Выходные данные ......Page 4
Предисловие редактора перевода ......Page 5
Предисловие ......Page 7
1.1. Информатика и искусственный интеллект ......Page 9
1.3. Области применения искусственного интеллекта ......Page 10
1.4. Историческая справка ......Page 13
1.5. Заключение ......Page 16
2.2. Естественный язык ......Page 19
2.4. Задачи в замкнутой форме ......Page 20
2.5. Общий подход к решению задачи ......Page 22
2.6. Пример полного решения задачи ......Page 27
2.7. Что нужно сделать, чтобы решить задачу? ......Page 31
2.8. Из истории развития и преподавания математики ......Page 32
2.9. Представления ......Page 40
2.10. Использование графических моделей в области искусственного интеллекта ......Page 48
2.11. Изменение представлений ......Page 57
2.12. Язык Лисп ......Page 59
2.13. Графы ......Page 77
3.1. Введение ......Page 79
3.2. Определение формальной системы ......Page 81
3.3. Разрешимость и интерпретация формальных систем ......Page 85
3.4. Исчисление высказываний ......Page 93
3.5. Исчисление предикатов первого порядка ......Page 100
3.6. Теоремы ограничения в формальных системах ......Page 114
3.7. Алгоритм унификации ......Page 116
3.8. Примеры использования унификации ......Page 131
3.9. Программа Ж. Питра для исчисления высказываний ......Page 154
3.10. Принцип резолюции и язык Пролог ......Page 161
4.1. Примеры хороших алгоритмов ......Page 178
4.2. Список хорошо решаемых задач (полиномиальные алгоритмы) ......Page 200
4.3. Классификация задач по степени сложности ......Page 204
4.4. Класс NP: недетерминированные полиномиальные задачи ......Page 208
4.5. Список задач класса NP ......Page 211
4.6. Изучение задач типа NP с помощью классов эквивалентностей ......Page 213
4.7. Основная теорема (Cook, 1971) ......Page 214
4.8. Класс NP-полных задач ......Page 218
4.9. Несколько доказательств эквивалентности задач ......Page 219
5.1. Решение задач с помощью перебора ......Page 227
5.2. Градиентные методы ......Page 228
5.3. Линейное программирование ......Page 231
5.4. Градиентные методы в теории графов ......Page 234
5.5. Эвристический поиск ......Page 236
5.6. Алгоритм А* ......Page 238
5.7. Неявный перебор с распространением ограничений ......Page 245
5.8. Динамическое программирование ......Page 261
5.9. Оптимальная раскраска вершин на графе ......Page 267
5.10. Алгоритм оптимальной раскраски графа ......Page 269
5.11. Задача о коммивояжере ......Page 278
5.12. Универсальная программа решения задач ......Page 289
Глава 6. Игровые программы. Психологические аспекты ......Page 310
6.1. Дерево допустимых ходов ......Page 311
6.2. Оценивание позиций ......Page 318
6.3. Метод минимакса и выбор очередного хода ......Page 320
6.4. Альфа — бета-процедура ......Page 326
6.5. Основные недостатки игровых программ, основанных на анализе дерева ходов ......Page 330
6.6. Психологические аспекты принятия решений ......Page 334
6.7. Исследование психологии шахматистов ......Page 338
6.8. ROBIN — интеллектуальная программа для игры в шахматы ......Page 346
Глава 7. Экспертные системы ......Page 363
7.1. Примеры диалогов в экспертной системе ......Page 364
7.2. Функционирование системы MYCIN — TEIRESIAS ......Page 365
7.3. Продукционные системы ......Page 379
7.4. Экспертные системы, основанные на логике предикатов первого порядка ......Page 400
7.5. Сравнение декларативного и процедурного подходов ......Page 419
7.6. Различные типы знаний и их представления ......Page 430
7.7. Метазнание ......Page 437
7.8. Заключение ......Page 440
7.9. Конкретный пример машины вывода экспертной системы ......Page 444
Глава 8. Информационная система ALICE ......Page 449
8.1. Общее описание системы ......Page 450
8.2. Язык системы ALICE ......Page 451
8.3. Модуль решения задачи ......Page 458
8.4. Результаты ......Page 467
8.5. Работа системы ALICE ......Page 468
8.6. Подробные примеры решения ......Page 485
8.7. Задачи, решенные с помощью системы ALICE ......Page 496
8.8. Эффективность системы и общие замечания ......Page 498
8.9. Ввод условий задач на французском языке ......Page 510
9.1. Различные типы обучения ......Page 516
9.2. Обучение игре в шашки ......Page 517
9.3. Обучение робота полезным действиям. Система STRIPS ......Page 523
9.4. Усвоение правил игры ......Page 525
9.5. Обучение планам ......Page 530
9.6. Учет характеристик ......Page 536
9.7. Усвоение понятий ......Page 539
Библиография ......Page 546
Предметный указатель ......Page 565
Оглавление ......Page 567
Обложка ......Page 569