Введение
ГЛАВА 1. Анализ текущих исследований и постановка задач исследования 12
1.1 Анализ состояния проблемы в области баз знаний 12
1.1.1. Проблема поиска в частично определенных базах знаний 12
1.1.2. Особенности поиска в допущениях открытого и замкнутого мира 16
1.2. Постановка задач исследования 18
1.2.1. Анализ особенностей троичной логики и ее применения в базах знаний 18
1.2.2. Постановка задач исследования 21
Выводы 23
ГЛАВА 2. Разработка методов построения частично определенных баз знаний 24
2.1. Организация баз знаний в троичной логике 24
2.1.1. Обоснование выбора базиса троичной логики для частично определенных баз знаний 24
2.1.2. Способы построения правил в базисе троичной логики 27
2.2. Методы генерации тернарных баз знаний 30
2.2.1. Разработка алгоритма преобразования бинарных фактов в тернарные 30
2.2.2. Разработка алгоритма автоматического создания отрицающих фактов на основе словаря взаимоисключающих состояний 31
Выводы 36
ГЛАВА 3. Организация логического поиска в частично определенных базах знаний 37
3.1. Разработка методов поиска в базисе троичной логики 37
3.1.1. Анализ особенностей поиска решений в частично определенных базах знаний
3.1.2. Разработка метода выявления неопределенностей в частично определенных базах знаний 44
3.2. Разработка метода поиска в троичной логике и в расширяющемся домене 47
3.2.1. Метод устранения неопределенностей в расширяющемся домене. 47
3.2.2. Визуализации результатов поиска в частично определенных базах знаний 50
Выводы 52
ГЛАВА 4. Методы редуцирования пространства поиска в расширяющемся домене 53
4.1. Редуцирование пространства поиска в базисе троичной логики и в расширяющемся домене 53
4.1.1. Анализ списков неопределенных фактов при поиске в базах знаний на основе троичной логики 53
4.1.2. Разработка алгоритма редуцирования списков неопределенных фактов 55
4.2. Анализ эффективности алгоритмов редуцирования пространства поиска 57
4.2.1. Сравнительный анализ разработанных алгоритмов редуцированных списков неопределенных фактов 57
4.2.2. Анализ эффективности поиска в расширяющемся домене 59
Выводы 63
ГЛАВА 5. Практическая реализация алгоритмов организации и поиска в базах знаний на основе троичной логики 64
5.1. Программная реализация алгоритмов генерации баз знаний из троичной логики 64
5.1.1. Реализация алгоритмов преобразования двоичных баз знаний в тернарные 64
5.1.2. Реализация алгоритма создания отрицающих фактов 71
5.2. Программная реализация методов поиска в троичной логике 74
5.2.1. Реализация алгоритмов редуцирования списков неопределенных фактов 74
5.2.2 Организация поиска в расширяющемся домене 76
Выводы 80
Заключение 81
Список сокращений и условных обозначений библиографический список 84
Приложение 1. 93
Программная реализация библиотеки для построения визуализации списков недостающих фактов. 93
Приложение 2. 95
Программная реализация алгоритмов редуцирования списков неопределенных фактов на языке PL/SQL. 95
Приложение 3. 99
Блок-схема Алгоритма 4.1 для редуцирования списка неопределенных фактов 99
Приложение 4. 100
Блок-схема Алгоритма 4.2 для редуцирования списка неопределенных фактов 100
Приложение 5. 101
Реализация программы на языке Prolog для экспериментального исследования времени вывода в расширяющемся домене 101
Приложение 6. 104
Акт о внедрении результатов интеллектуальной собственности 104
