Введение в экспертные системы. 3-изд. [Питер Джексон] (doc) читать постранично

 • Введение
• ГЛАВА 1. Что такое экспертная система?
• ГЛАВА 2. Обзор исследований в области искусственного интеллекта
• ГЛАВА 3. Представление знаний
• ГЛАВА 4. Символические вычисления
• ГЛАВА 5. Системы, основанные на знаниях
• ГЛАВА 6. Ассоциативные сети и системы фреймов
• ГЛАВА 7. Объектно-ориентированное программирование
• ГЛАВА 8. Логическое программирование
• ГЛАВА 9. Представление неопределенности знаний и данных
• ГЛАВА 10. Приобретение знаний
• ГЛАВА 11. Эвристическая классификация (I)
• ГЛАВА 12. Эвристическая классификация (II)
• ГЛАВА 13. Иерархическое построение и проверка гипотез
• ГЛАВА 14. Решение проблем конструирования (I)
• ГЛАВА 15. Решение проблем конструирования (II)
• ГЛАВА 16. Средства формирования пояснений
• ГЛАВА 17. Инструментальные средства разработки экспертных систем
• ГЛАВА 18. Системы с доской объявлений
• ГЛАВА 19. Система отслеживания истинности предположений
• ГЛАВА 20. Формирование знаний на основе машинного обучения
• ГЛАВА 21. Сети доверия
• ГЛАВА 22. Рассуждения, основанные на прецедентах
• ГЛАВА 23. Гибридные системы
• ГЛАВА 24. Заключение
СОДЕРЖАНИЕ
СОДЕРЖАНИЕ 2
Введение 8
ГЛАВА 1. Что такое экспертная система? 11
1.1. Смысл экспертного анализа 11
1.2. Характеристики экспертных систем 13
1.3. Базовые функции экспертных систем 14
1.3.1. Приобретение знаний 14
1.3.2. Представление знаний 16
1.3.3. Управление процессом поиска решения 18
1.3.4. Разъяснение принятого решения 18
1.4. Резюме и структура книги 20
1.4.1. Текущее состояние проблемы 20
1.4.2. Распределение материала книги по главам 21
Рекомендуемая литература 22
ГЛАВА 2. Обзор исследований в области искусственного интеллекта 23
2.1. Классический период: игры и доказательство теорем 24
2.1.1. Поиск в пространстве состояний 24
2.1.2. Эвристический поиск 28
2.2. Романтический период: компьютер начинает понимать 30
2.2.1. Система SHRDLU 30
2.2.2. Схемы представления знаний 32
2.3. Период модернизма: технологии и приложения 34
2.3.1. В знании сила 34
2.3.2. Периоды "зимней спячки" и "пробуждения" в истории искусственного интеллекта 37
Рекомендуемая литература 37
Упражнения 38
ГЛАВА 3. Представление знаний 44
3.1. Представление знаний: принципы и методы 44
3.2. Планировщик STRIPS 46
3.2.1. Таблицы операторов и методика "средство -анализ завершения" 47
3.2.2. Анализ метода представления и управления в STRIPS 50
3.3. Формулировка подцелей в MYGIN 51
3.3.1. Лечение заболеваний крови 51
3.3.2. База знаний системы MYCIN 52
3.3.3. Структуры управления в MYCIN 54
3.4. Оценка и сравнение характеристик экспертных систем 57
3.4.1. Оценка системы MYCIN 57
3.4.2. Сравнение MYCIN и STRIPS 58
Рекомендуемая литература 60
Упражнения 60
ГЛАВА 4. Символические вычисления 63
4.1. Символическое представление 64
4.2. Физическая символическая система 64
4.3. Реализация символических структур на языке LISP 65
4.3.1. Структуры данных в языке LISP 65
4.3.2. Структура LISP-программы 66
4.3.3. Приложение функции и лямбда-исчисление 67
4.3.4. Обработка списков 68
4.3.5. Сопоставление с образцом 69
4.4. Почему. LISP не является языком представления знаний 71
4.4.1. Символический уровень и уровень знаний 71
4.4.2. LISP и разработка программ 71
4.5. Языки представления знаний 72
Рекомендуемая литература 73
Упражнения 73
ГЛАВА 5. Системы, основанные на знаниях 75
5.1. Канонические системы 75
5.2. Системы порождающих правил для решения проблем 76
5.2.1. Синтаксис представления правил 76
5.2.2. Рабочая память 78
5.3. Управление функционированием интерпретатора 81
5.3.1. Разрешение конфликтов 81
5.3.2. Прямая и обратная цепочки рассуждений 83
5.3.3. Правила и метаправила 87
Рекомендуемая литература 89
Упражнения 89
ГЛАВА 6. Ассоциативные сети и системы фреймов 92
6.1. Графы, деревья и сети 92
6.2. Ассоциативные сети 95
6.2.1. Разделение видов узлов и когнитивная экономия 95
6.2.2. Анализ адекватности ассоциативных сетей 96
6.3. Представление типовых объектов и ситуаций 97
6.3.1. Основные понятия концепции фреймов 97
6.3.2. Фреймы и графы 98
6.3.3. Значения по умолчанию и демоны 99
6.3.4. Множественное наследование 102
6.3.5. Сравнение сетей и фреймов 104
Рекомендуемая литература 105
Упражнения 105
ГЛАВА 7. Объектно-ориентированное программирование 109
7.1. Язык KRL 109
7.2. Языки LOOPS и FLAVORS 111
7.2.1. Передача сообщений 111
7.2.2. Проблема наложения методов 113
7.2.3. Метаклассы 114
7.3. Языки CLIPS и CLOS 116
7.3.1. Множественное наследование в CLOS и CLIPS 116
7.3.2. Наложение методов в CLOS и CLIPS 117
7.3.3. Метаклассы в CLOS и CLIPS 119
7.4. Множественное наследование в C++ 120
7.5. Объектно-ориентированный анализ и конструирование экспертных систем 123
Рекомендуемая литература 124
Упражнения 124
ГЛАВА 8. Логическое программирование 126
8.1. Формальные языки 126
8.1.1. Исчисление высказываний 126
8.1.2. Исчисление предикатов 127
8.2. Язык PROLOG 129
8.3. Опровержение резолюций 130
8.3.1. Принцип резолюций 130
8.3.2. Поиск доказательства в системе резолюций 131
8.4. Процедурная дедукция в системе