Редактор базы знаний

Редактор БЗ предназначен для создания, обновления и редактирования баз знаний путем автоматизированного занесения создаваемых или редактируемых гипотез в БЗ.

Организация знаний в БЗ. Знания организованы в виде фреймов и хранятся на диске в двух файлах типа .DEF и .ТХТ.

В файле типа .DEF содержится информация, которая определяет:

• имя, тип и подтип вновь создаваемой или редактируемой гипотезы;
• априорную вероятность байесовских гипотез либо значение для констант;
• список блокирующих гипотез для редактируемой гипотезы, представленный в виде последовательности имен этих гипотез и соответствующих им нижних и верхних границ фактора уверенности (НФУ и ВФУ);
• список гипотез, являющихся посылками для редактируемой гипотезы, представленный в виде последовательности имен этих гипотез и соответствующих им WPF и WAF.

Информация в файле типа .ТХТ предназначена для организации диалога с пользователем.

Вызов редактора БЗ. После загрузки редактора баз знаний на экране возникает основное меню, которое состоит из пяти рабочих окон:

• 1) Редактирование гипотезы;
• 2) Диалоговая информация;
• 3) Заключения;
• 4) Метацели;
• 5) Посылки.

В последней строке экрана организована служебная строка, в которой появляются справочная информация или сообщения об ошибках. Возникающие в этой строке сообщения (подсказка) определяют действия пользователя

Редактирование гипотезы. Основное меню, посредством которого осуществляется управление ходом создания или редактирования гипотез, располагается в рабочем окне "Редактирование гипотезы". В этом окне в определенной последовательности расположены следующие опции: ЗАГРУЗИТЬ, ЗАПОМНИТЬ, УДАЛИТЬ ИМЯ, ТИП, ПОДТИП, ЗАКЛЮЧЕНИЯ, МЕТАЦЕЛИ, ПОСЫЛКИ, ХАРАКТЕРИСТИКА , ПОЯСНИТЬ.

Опция "Загрузить" служит для загрузки БЗ с диска в ОЗУ. При фиксации этой опции необходимо указать имя файла, содержащего БЗ. После загрузки БЗ автоматически в качестве рабочей гипотезы выбирается первое имя в списке гипотез БЗ. Вся информация для этой гипотезы выводится в окна на экран.

Опция "Запомнить" предназначена для записи отредактированной БЗ на диск в виде двух файлов типа .DEF и .HLP с одним именем.

Опция "Удалить" позволяет удалять гипотезы из списка гипотез БЗ в ОЗУ. Удаление гипотезы производится также из списков метацелей и посылок, если она там есть. В этой опции можно с помощью клавиши Enter выбрать несколько гипотез, а по клавише F10 выбранные гипотезы удалятся.

Опция "Имя" служит для выбора имени редактируемой гипотезы, если она уже была объявлена в списке гипотез, и для определения имени вновь создаваемой гипотезы. Фиксация опции "Имя" вызывает появление дополнительного окна для ввода имени. Если гипотеза уже была объявлена ранее, то ее имя может быть выбрано из списка гипотез. Для вызова этого списка необходимо нажать клавишу Enter. Просмотр списка осуществляется клавишами управления курсором, выбор имени – клавишей Enter.

Для корректирования имени гипотезы устанавливаем на этом имени курсор и нажимаем клавишу Enter. На экране появляется свободная строка, в которой необходимо указать новое имя гипотезы. После повторного нажатия клавиши Enter происходит замена старого имени гипотезы на новое по всей базе знаний.

Посредством опции "Тип" осуществляется задание типа предложения (ЦЕЛЬ, ВОПРОС, ПРАВИЛО, КОНСТАНТА).

Опция "Подтип" предлагает определить подтип гипотезы в соответствии с выбранным типом предложения. Например, при выборе предложения типа ЦЕЛЬ возникает список подтипов БАЙЕС, МАКСИМУМ, МИНИМУМ, НЕ, РАВНО, МОДУЛЬ, ОБЛАСТЬ. Без указания типа предложения невозможно дальнейшее прохождение по опциям меню.

Опция "Заключения" позволяет связать редактируемую гипотезу с целевыми гипотезами. Работа с этой опцией предполагает два возможных случая:

• 1) выбор целевой гипотезы из имеющегося списка гипотез в БЗ. Список гипотез, предлагаемых в качестве заключения, формируется из гипотез, имеющих подтипы, допустимые для текущей гипотезы в качестве заключения. В этом случае редактируемая гипотеза заносится в список посылочных для выбранной целевой гипотезы и отображается в боковом окне "Заключения";
• 2) задание нового имени в качестве целевой гипотезы, для реализации этого варианта по клавише Esc осуществляется выход из предлагаемого списка гипотез и на экране появляется окно для ввода нового имени. Имя введенной гипотезы добавляется в список гипотез БЗ и отображается в окне "Заключения", а редактируемая гипотеза заносится в список посылочных для нее.

Для перехода к следующей опции необходимо нажать клавишу Esc (выход из списка) и клавишу Enter (ввод пустого имени новой гипотезы).

Опция "Метацели" позволяет либо выбрать имя блокирующей гипотезы для редактируемой из списка имеющихся гипотез, либо ввести новое имя в специальном окне. После имени предлагается ввести нижнюю и верхнюю границы фактора уверенности (НФУ и ВФУ), причем проводится контроль на соответствие типа переменной и соотношение НФУ и ВФУ.

Опция "Посылки" позволяет связать редактируемую гипотезу с ее посылками. При этом возможны два варианта посылок:

• 1) выбор имени посылочной гипотезы из списка гипотезы уже имеющихся в БЗ. Предлагаемый список формируется из гипотез, имеющих подтипы, допустимые в качестве посылочных для редактируемой гипотезы;
• 2) задание нового имени в качестве посылочной гипотезы. Для реализации этого варианта по клавише Esc осуществляется выход из предлагаемого списка гипотез, и на экране появляется окно для ввода нового имени, имя введенной гипотезы добавляется в БЗ. Если редактируемая гипотеза имеет подтип БАЙЕС, то предлагается ввести значения WPF и WAF. При задании WPF и WAF осуществляется контроль на соответствие типов вводимых переменных.

При задании посылок к гипотезам типа модуль или ОБЛАСТЬ предлагается ввести среднее значение и максимальное отклонение либо НИЖНЕЕ ЗНАЧЕНИЕ и ВЕРХНЕЕ ЗНАЧЕНИЕ соответственно. Осуществляется контроль за правильностью введения этих значений (тип вводимой переменной, нижнее значение меньше верхнего). В случае ошибок в служебной строке выводятся сообщения и предлагается ввести правильные значения.

При вводе посылок редактируемой гипотезы вся информация отображается и фиксируется в окне "Посылки".

Процедура ввода посылок завершается нажатием клавиши Enter (ввод пустого имени посылки).

В редакторе БЗ предусмотрена возможность редактирования знаний WPF и WAF, а также диапазоны значений для гипотез типа модуль и ОБЛАСТЬ, для этого в опции "Посылки" из предложенного списка имеющихся в базе имен надо выбрать уже заданное имя посылки и после этого будет предложена корректировка имени и соответствующих значений WPF, WAF или диапазона.

Выбор опции "Характеристика" вызывает переход в окно и расширение этого окна до 60 колонок.

Курсор становится активным в окне "Диалоговая информация", в это окно предлагается ввести содержание характеристики. Длина вводимых строк не должна превышать размеры окна. Количество строк не ограничено.

Выход из окна "диалоговая информация" по клавише Esc. Аналогична работа по опции "Пояснить".

Необходимо отметить некоторые особенности редактирования гипотез типа ПРАВИЛО. Если для такой гипотезы определен подтип ОБЛАСТЬ или МОДУЛЬ, то для посылки правила редактор БЗ требует указания нижнего и верхнего значений диапазона, причем нижнее значение должно быть меньше верхнего.

Окно "Заключения" содержит список имен гипотез, которые являются целевыми для редактируемой. Заголовком списка служит слово "Имя". В окне "Метацели" содержится список имен гипотез, блокирующих редактируемую гипотезу (заголовок списка – слово "Имя"), а также списки верхних и нижних значений факторов уверенности для соответствующих гипотез.

Окно "Посылки" содержит список имен гипотез, которые являются посылками для редактируемой. Заголовком списка служит слово "Имя". В этом окне для посылок байесовских гипотез указываются соответствующие значения фактора достаточности и фактора необходимости.