Предисловие | 3 |
|
Часть 1 |
АЛГЕБРАИЧЕСКИЕ МЕТОДЫ ФОРМАЛЬНОГО ОПИСАНИЯ |
ЗНАНИЙ |
|
|
1.1. Введение | 7 |
|
1.2. Образцы, продукции и сопоставление | 9 |
1.2.1. Знания или вывод? | 9 |
1.2.2. Ситуации, образцы и конкретизация | 14 |
1.2.3. Образцы на языке отображений | 19 |
1.2.4. Продукции | 22 |
1.2.5. Системы образцов и системы продукций | 28 |
|
1.3. Категорный подход к системам образцов | 31 |
1.3.1. Язык теории категорий | 31 |
1.3.2. Образцы и продукции на языке теории категорий | 36 |
1.3.3. Простейшие примеры | 40 |
1.3.4. Системы добавлений и изъятий | 45 |
1.3.5. Продукционная система ЗНАТОК | 49 |
|
1.4. Ω-категории | 53 |
1.4.1. Язык универсальных алгебр | 53 |
1.4.2. Забывающий функтор и функтор свободы | 58 |
1.4.3. Ω-категории: основные определения | 61 |
1.4.4. Строение морфизмов Ω-категории | 66 |
1.4.5. Примеры Ω-категорий | 70 |
1.4.6. Прямое произведение в Ω-категории | 73 |
|
1.5. Порядок на множестве образцов | 75 |
1.5.1. Сравнение образцов по степени общности | 75 |
1.5.2. Наименьшее обобщение | 79 |
1.5.3. Упорядоченность образцов в Ω-категории | 88 |
|
1.6. Дополнительные вопросы категорного анализа продукционных |
систем | 111 |
1.6.1. Категорный анализ базы знаний продукционной экспертной |
системы | 112 |
1.6.2. Теоретико-категорный подход к представлению нечётких |
данных | 118 |
|
1.7. Продукционные сети | 128 |
1.7.1. Взаимодействие продукций | 128 |
1.7.2. Цепочки продукций | 130 |
1.7.3. Прямые произведения и продукционные деревья | 137 |
1.7.4. Продукционные сети на Ω-категориях | 138 |
1.7.5. Случай Ω-категорий, порождённых универсальными |
алгебрами | 141 |
|
Часть 2 |
ПРИКЛАДНЫЕ СИСТЕМЫ, ОСНОВАННЫЕ НА ЗНАНИЯХ |
|
|
2.1. Введение | 146 |
|
2.2. Программируемая оболочка экспертной системы | 149 |
2.2.1. Что такое программируемая оболочка? | 149 |
2.2.2. База данных системы ЗНАТОК | 152 |
2.2.3. База знаний системы ЗНАТОК | 154 |
2.2.4. Машина вывода системы ЗНАТОК | 156 |
2.2.5. Использование присоединённых процедур | 158 |
2.2.6. Некоторые замечания о реализации системы | 162 |
2.2.7. Подсистема объяснения | 164 |
|
2.3. ЭС для выбора свай и расчёта их несущей способности | 170 |
2.3.1. Условия применения системы СВАЯ 1.0 | 170 |
2.3.2. Описание прикладной локально-организованной экспертной |
системы СВАЯ 1.0 | 171 |
2.3.3. Описание структуры базы знаний системы СВАЯ 1.0 | 171 |
2.3.4. Входной и выходной языки системы СВАЯ 1.0 | 172 |
2.3.5. Запуск системы СВАЯ 1.0 | 175 |
|
2.4. Мета экспертная система | 176 |
2.4.1. Вопросы теории экспертных систем | 176 |
2.4.2. Выбор задачи для данной ЭС или выбор ЭС для данной задачи | 178 |
|
2.5. Обучающаяся система поддержки ввода информации | 182 |
2.5.1. Обучающаяся диалоговая система как автомат | 183 |
2.5.2. Описание системы PROMPTER в виде формальной модели | 185 |
2.5.3. Теоретико-категорное описание системы | 188 |
2.5.4. Выбор параметров в системе PROMPTER | 190 |
2.5.5. Экспериментальная оценка параметров τ, τп | 192 |
2.5.6. Применение системы PROMPTER при работе с портовой |
документацией | 193 |
2.5.7. Детали реализации | 196 |
|
2.6. Динамическая экспертная система | 199 |
2.6.1. Введение | 199 |
2.6.2. Статическая экспертная система | 201 |
2.6.3. Обработка нечётких данных в системе ЗНАТОК | 202 |
2.6.4. Архитектура квазистатической системы | 203 |
2.6.5. Обработка побочных эффектов | 204 |
2.6.6. Теоретико-категорный подход к динамическим системам | 205 |
2.6.7. Данные сейсмологического характера | 209 |
2.6.8. Реализация системы и некоторые результаты | 210 |
2.6.9. Исторический комментарий | 212 |
2.6.10. Заключение | 214 |
|
2.7. Универсальный интеллектуальный интерфейс | 215 |
2.7.1. Введение | 216 |
2.7.2. Описание подхода в целом | 219 |
2.7.3. Неформальное описание | 220 |
2.7.4. Обсуждение элементов, составляющих УИИ | 222 |
2.7.5. Заключение | 232 |
|
2.8. Обучающие системы | 233 |
2.8.1. Уроки искусственного интеллекта: знания и обучение | 234 |
2.8.2. Некоторые проблемы создания обучающих систем | 236 |
2.8.4. Использование интеллектуального интерфейса | 240 |
2.8.5. Интеллектуальный интерфейс в составе архитектуры для |
индивидуального обучения в начальной школе | 242 |
2.8.6. Практический опыт | 248 |
2.8.7. Трансакционный анализ в системах обучения | 251 |
2.8.8. Заключительные замечания | 259 |
|
2.9. Измерение качества работы локально-организованной системы | 259 |
2.9.1. Введение | 260 |
2.9.2. Распределённые системы | 260 |
2.9.3. Заключение | 262 |
|
Литература | 263 |
|
Предметный указатель | 270 |