Введение
Глава 1. Постановка задачи и обзор литературы 13
1.1. Знания в искусственном интеллекте 13
1.1.1. Что понимается под знаниями в искусственном интеллекте 13
1.1.2. Сетевые модели представления знаний 15
1.1.3. Фреймовые модели представления знаний 16
1.1.4. Логические модели представления знаний 17
1.1.5. Анализ классификации систем представления знаний в свете создания общей теории 20
1.2. Понимание продукции в настоящей работе 21
1.2.1. Продукция как основной элемент базы знаний 21
1.2.2. Продукция в искусственном интеллекте 23
1.2.3. Понятие обобщенной продукции 24
1.3. Об использовании теории категорий в информатике 29
1.3.1. Исследования, в которых привлекается теория категорий
1.3.2. Унификация и близкие проблемы 33
Глава 2. Основные элементы алгебраической теории продукций 38
2.1. Основные понятия алгебраической теории 38
2.1.1. Строение обобщенной продукции 38
2.1.2. Образец, сопоставление и конкретизация 42
2.1.3. Продукция на языке множеств и отображений 45
2.1.4. Теоретико-категорный язык для описания продукций 47
2.2. Примеры теоретико-категорного описания продукций 51
2.2.1. Пример L 51
2.2.2. Пример E 55
2.2.3. Пример S 57
2.2.4. Системы добавлений и изъятий 58
2.2.5. Продукционная система ЗНАТОК 62
2.3. –категории 72
2.3.1. Рекурсивно организованные системы образцов 72
2.3.2. –категория 73
2.3.3. Язык универсальных алгебр 79
2.4. Примеры -категорий 84
2.4.1. ПримерЬ 84
2.4.2. Пример Е 87
2.4.3. Пример S 87
2.4.4. Задача «крепкий орешек» и семиотическая интроспекция 89
2.5. Экстенсиональное vs интенсиональное 97
2.5.1. Два взгляда на образцы и продукции 98
2.5.2. Сопоставимость образцов 100
2.5.3. Экстенсиональные и интенсиональные свойства
продукций 103
2.6. Порядок на множестве образцов 108
2.6.1. Определение предпорядка на множестве образцов 109
2.6.2. Наименьшее обобщение и наибольший частный случай 110
2.6.3. Упорядоченность образцов в -категории 124
Глава 3. Теоретико-категорные алгоритмы работы со знаниями 142
3.1. Продукционные сети 143
3.1.1. Строение продукционной сети 145
3.1.2. Прямые произведения и продукционные деревья 147
3.1.3. Продукционные сети на П-категориях 150
3.1.4 Случай Q-категорий, порожденных универсальными
алгебрами 153 3.2. Алгоритмы автоматического формирования образцов и
продукций 155
3.2.1. Метод сходства и метод различия ДСМ-метода на языке
ТК-продукций 155
3.2.2. Об автоматическом формировании продукционных баз
знаний 165
3.2.3. Пример автоматического формирования дерева образцов –
система поддержки ввода информации 169
3.2.4. Пример автоматического формирования продукционной
сети – машинный перевод 179
3.3. Изменение характера знаний в продукционной системе 186
3.3.1. Динамические продукционные системы 187
3.3.2. P-кратная категория 188
3.3.3. Порядок на множестве образцов в P-кратной категории 192
3.3.4. Варианты контекстных решеток 202
3.3.5. Другие варианты использования кратной категории 204
3.3.6. Теоретико-категорное описание нечетких данных 207
Глава 4. Технология разработки и развития продукционных систем 220
4.1. Принципы построения категорной технологии. 220
4.1.1. Верхний уровень - уровень продукций 220
4.1.2. Нижний уровень - уровень данных 225
4.1.3. Некоторые примеры применения категорной технологии 226
4.2. Программируемая оболочка экспертной системы 228
4.2.1. Что такое программируемая оболочка? 229
4.2.2. База данных системы ЗНАТОК 233
4.2.3. База знаний системы ЗНАТОК 235
4.2.4. Описание атрибутов базы знаний системы ЗНАТОК 238
4.2.5. Машина вывода системы ЗНАТОК 241 4.2.6. Использование присоединенных процедур 244
4.2.7. Некоторые замечания о реализации системы 248
4.2.8. Подсистема объяснения 251
4.2.9. Применение категорной технологии построения
продукционных систем 258
4.2.10. Работа с нечеткими данными 261
4.2.11. Работа с динамическими данными 265
4.2.12. Совместная работа нескольких экспертных систем 268
4.3. Выявление конструкций со значением обусловленности в
текстах 271
4.3.1. Конструкции со значением обусловленности 272
4.3.2. Программная реализация продукционной сети 2 4.3.3 Использование прямых произведений 279
4.3.4 Реализация продукционной системы 280
Заключение 286
Основные научные и практические результаты диссертации 286
Литература 288
