Введение
1. Анализ современного состояния в области верификации баз знаний экспертных систем 12
1.1. Место верификации в жизненном цикле экспертных систем 13
1.2. Основные понятия и определения в области верификации баз знаний экспертных систем 24
1.3. Проблемы верификации БЗ ЭС 26
1.3.1. Анализ причины появления ошибок в БЗ ЭС 26
1.3.2. Проблема верификации баз знаний, содержащих различные виды НЕ-факторов 28
1.3 3. Проблема практической решаемости задач верификации 33
1.3.4. Проблемы верификации БЗ ЭС на этапе структурирования знаний 34
1.4. Классификация и сравнительный анализ методов верификации баз знаний экспертных систем 37
1.4.1. Методы обнаружения аномалий 39
1.4.2. Методы обнаружения статических аномалий, использующие непосредственный анализ правил 40
1.4.3. Методы обнаружения статических аномалий, основанные на таблицах (матрицах) 40
1.4.4. Вычислительная сложность алгоритмов обнаружения статических аномалий 41
1.4.5. Методы обнаружения динамических аномалий, основанные на логике первого порядка 41
1.4.6. Методы обнаружения аномалий, основанные на графах 42
1.4.7. Методы обнаружения аномалий, использующие метазнания 44
1.4.8. Использование таблиц (матриц) при обнаружении динамических аномалий 44
1.4.9. Вычислительная сложность алгоритмов обнаружения динамических аномалий 45
1.4.10. Методы обнаружения аномалий, учитьшающие наличие в БЗ знаний, содержащих НЕ-факторы 46
1.4.11. Методы доказательства правильности БЗ ЭС 47
1.4.12. Сокращение перебора в методах верификации БЗ 47 1 4.13. Общая классификация методов верификации БЗ 49
1.5. Классификация и сравнительный анализ средств верификации баз знаний экспертных систем 49
1.6. Особенности верификации БЗ ИЭС в рамках ЗОМ 54
1.7. Постановка задачи диссертационного исследования 56
Выводы 57
2. Теоретические основы разработки средств верификации поля знаний и базы знаний в процессе построения статических ИЭС 58
2.1. Обобщенная модель обнаружения аномалий в БЗ 58
2.2. Метод обнаружения статических аномалий в ПЗ и БЗ, основанный на таблицах решений 64
2.3. Метод обнаружения динамических аномалий в ПЗ и БЗ, основанный на сетях Петри 84 Выводы 94
3. Проектирование и программная реализация средств верификации поля знаний и базы знаний 95
3.1. Анализ системных требований на разработку средств верификации, функционирующих в составе комплекса АТ-ТЕХНОЛОГИЯ 95
3.2. Проектирование средств обнаружения статических аномалий в ПЗ и БЗ 100
3.3. Проектирование средств обнаружения динамических аномалий в ПЗ и БЗ 102
3.4. Проектирование средств формирования и исполнения плана верификации ПЗ и БЗ 104
3.5. Реализация компонентов верификации ПЗ и БЗ 105
3.6. Проектирование и реализация средства визуализации протокола верификации ПЗ или БЗ 106
3.7. Мастер корректировки ПЗ и БЗ 109
Выводы 115
4. Экспериментальная проверка методов, алгоритмов и средств верификации поля знаний и базы знаний иэс. внедрение разработанных программных средств 117
4.1. Экспериментальная проверка методов и алгоритмов верификации ПЗ и БЗ 117
4.2. Сравнение характеристик реализованных средств верификации ПЗ и БЗ с существующими средствами обнаружения статических аномалий 120
4.3. Сравнение характеристик реализованных средств верификации ПЗ и БЗ с существующими средствами обнаружения динамических аномалий 122
4.4. Экспериментальная проверка средств верификации ПЗ и БЗ 123
4.5. Использование разработанных программных средств при создании ИЭС КИВС 124
4.6. Использование разработанных программных средств в области медицинской диагностики 126
4.7. Применение средств верификации БЗ ИЭС в учебном процессе МИФИ и РГСУ 128 Выводы 130
Выводы по диссертации 131
Литература
