Введение
Глава 1. Анализ методов логического вывода и систем обработки знаний... 11
1.1 Методы логического вывода 11
1.1.1 Формальные системы 11
1.1.2 Формальная система исчисления высказываний 11
1.1.3 Классификация методов логического вывода 14
1.1.4 Метод деления дизъюнктов 16
1.1.5 Абдуктивный логический вывод 19
1.1.5.1 Понятие абдуктивного вывода 19
1.1.5.2 Подходы к характеристике абдуктивного вывода 22
1.1.5.3 Подходы креализации абдуктивного вывода 23
1.1.5.4 Применение абдукции 24
1.2 Системы обработки знаний 26
1.2.1 Определение и структура систем обработки знаний 26
1.2.2 Классификация систем обработки знаний 29
1.2.3 Принципы функционирования систем обработки знаний 31
1.2.4 Методика построения систем обработки знаний 33
1.2.5 Стратегии получения знаний 35
1.2.6 Оценка эффективности систем обработки знаний 41
1.3 Методы формирования знаний в СОЗ 43
1.3.1 Классификация методов формирования знаний в СОЗ 43
1.3.2 Индуктивное обучение 44
1.3.2.1 Структурно-логические методы 44
1.3.2.2 Признаковые методы 46
1.3.2.3 Методы извлечения знаний из баз данных 48
1.3.3 Обучение на основе дедукции 49
1.3.4 Обучение на основе аналогии 50
1.3.5 Обучение на основе абдукции 51
1.4 Выводы по главе 1 53
Глава 2. Разработка методов логического вывода с изменением посылок 55
2.1 Постановка задачи логического вывода 55
2.2 Метод добавления посылок 60
2.2.1 Теоретические основы метода 60
2.2.2 Пример логического вывода 68
2.3 Метод удаления посылок 76
2.3.1 Теоретические основы метода 76
2.3.2 Пример логического вывода 82
2.4 Абдуктивный метод модификации посылок 90
2.4.1 Теоретические основы метода 90
2.4.2 Пример логического вывода 95
2.5 Выводы по главе 2 104
Глава 3. Разработка модуля формирования знаний 109
3.1 Структура модуля формирования знаний 109
3.1.1 Обобщенная структура модуля 109
3.1.2 Детализированная структура модуля 111
3.2 Принципы функционирования и построения систем обработки знаний с модулем формирования знаний 114
3.2.1 Режимы работы системы обработки знаний 114
3.2.2 Режим дедуктивного вывода 114
3.2.4 Создание базы знаний 120
3.2.5 Особенности построения систем обработки знаний с модулем формирования знаний 121
3.3 Оценка эффективности систем обработки знаний с модулем формирования знаний 125
3.3.1 Критерии эффективности 125
3.3.2 Расчет времени обучения 125
3.3.3 Расчет степени модификации 128
3.4 Выводы по главе 3 132
Глава 4. Разработка программных реализаций модуля формирования знаний 134
4.1 Разработка программных реализаций методов с изменением посылок 134
4.1.1 Общая характеристика программных реализаций 134
4.1.2 Программа реализации метода добавления посылок 135
4.1.2.1 Структура программы 135
4.1.2.2 Разработка интерфейса пользователя 138
4.1.3 Программа реализации метода удаления посылок 142
4.1.3.1 Структура программы 142
4.1.3.2 Разработка интерфейса пользователя 144
4.1.4 Программа реализации абдуктивного метода модификации посылок 147
4.1.4.1 Структура программы 147
4.1.4.2 Разработка интерфейса пользователя 150
4.2 Разработка системы поддержки принятия решений по выбору сотовых телефонов 153
4.2.1 Общие характеристики 153
4.2.2 Структура системы 154
4.2.3 База знаний. 155
4.2.4 Режим консультации 159
4.2.5 Режим обучения 159
4.2.6 Разработка интерфейса пользователя 162
4.3 Разработка программной модели системы распознавания символов... 166
4.3.1 Общие характеристики 166
4.3.2 Структура системы 166
4.3.3 Режимы работы 168
4.3.5 Топологические признаки распознавания 169
4.3.6 Представление символов в базе знаний 174
4.3.7 Режим обучения 1764.3.8 Разработка интерфейса пользователя 177
4.4 Выводы по главе 4 180
Заключение 182
Список сокращений 188
Библиографический список 189
