В. В. СМИРНОВ, А. Г. ВОЛОДИН, А. В. КУЗНЕЦОВ
Московский инженерно-физический институт (государственный университет)
MАСТЕР КОРРЕКТИРОВКИ ПОЛЯ ЗНАНИЙ И БАЗЫ ЗНАНИЙ В ИНСТРУМЕНТАЛЬНОМ КОМПЛЕКСЕ
АТ-ТЕХНОЛОГИЯ
Описывается мастер корректировки поля знаний и базы знаний в инструментальном комплексе АТ-ТЕХНОЛОГИЯ.
Тестирование БЗ ЭС включает процесс улучшения качества (refinement) БЗ, под которым, обычно, понимается внесение изменений в БЗ при возникновении некорректных некорректные решений [1]. Процесс улучшения качества БЗ включает в себя следующие этапы [1]:
- определение правил или отдельных условий, приводящих к не - верным решениям,
- создание списка возможных изменений в БЗ,
- выбор наиболее эффективных изменений в БЗ.
Традиционно, процесс улучшения качества БЗ ЭС выполняется на этапах реализации, отладки и тестирования, опытной эксплуатации и внедрения [2]. В современных ЭС, в частности, в интегрированных экспертных системах [3] БЗ могут достигать достаточно больших объемов, что приводит к необходимости выполнения действий по улучшению качества БЗ на более ранних этапах разработки ЭС. В рамках ЗОМ [3] возможно начать процесс улучшения качества БЗ ЭС уже на этапе построения поля знаний (ПЗ), так как на данном этапе предусмотрено проведение верификации ПЗ, а формируемый при этом протокол верификации может быть использован для улучшения качества ПЗ.
Протокол верификации ПЗ содержит информацию о нарушениях в структурах ПЗ, соответствующих определенным типам аномалий [4] со ссылками на фрагменты ПЗ, в которых обнаружены нарушения, и ссылками на список возможных изменений в ПЗ для устранения обнаруженных нарушений.
Для выбора наиболее эффективных изменений из списка возможных изменений ПЗ, устраняющих статические нарушения, в комплексе АТ-ТЕХНОЛОГИЯ [5] применяется мастер корректировки ПЗ, который содержит знания о способах исправления нарушений в ПЗ, полученных из опыта применения инструментального комплекса АТ-ТЕХНОЛОГИЯ для разработки прикладных интегрированных экспертных систем. Мастер последовательно активизирует шаги устранения нарушений для каждой из следующих групп статических нарушений в ПЗ:
- недопустимых значений атрибутов,
- значений атрибутов, на которые нет ссылок,
- атрибутов, на которые нет ссылок,
- замыканий правил,
- избыточных правил,
- пересекающихся правил,
- противоречивых правил,
- правил с недостижимыми заключениями.
В процессе исправления каждой группы нарушений инженеру по знаниям предоставляется список возможных изменений в ПЗ, из которых инженер по знаниям должен выбрать те, которые, по его мнению, наиболее эффективно устраняют нарушения. В качестве предлагаемых изменений в ПЗ может быть удаление, изменение или добавление атрибутов, значений атрибутов или правил. После завершения процесса выбора изменений в ПЗ мастер активизирует встроенные алгоритмы корректировки ПЗ или вызывает редактор ПЗ, с помощью которого инженер по знаниям самостоятельно вносит корректирующие изменения в ПЗ.
Сходный мастер корректировки разработан для устранения статических нарушений в БЗ на ЯПЗ комплекса АТ-ТЕХНОЛОГИЯ. Устранение динамических нарушений в ПЗ и БЗ выполняется с помощью редактора ПЗ и БЗ без применения мастера.
Работа выполнена при поддержке РФФИ (проект № ).
Список литературы
1. Susan C., Robin B., Ray R. Knowledge Refinement to Debug and Maintain a Tablet Formulation System. // Appears in Proceedings of the 9TH IEEE International Conference on Tools with Artificial Intelligence, IEEE Press, 1997, P.446–453.
2. , , Шапот и динамические экспертные системы: Учеб. Пособие. М.: Финансы и статистика, 1996.
3. Рыбина -ориентированная методология автоматизированного построения интегрированных экспертных систем для статических проблемных областей. // Известия РАН Теория и системы управления. № 5, 1997, С.129-137.
4. , Смирнов и средства верификации баз знаний в современных экспертных системах. // В кн.: КИИ’2002, Восьмая конференция по искусственному интеллекту с межд. участием. Труды конференции. М.: Физматлит, 2002. Т.1. С. 446-454.
5. Рыбина средства нового поколения для построения прикладных интеллектуальных систем. // Авиакосмическое приборостроение. 2004. № 10. С. 14-23.
