Редактор базы фактов

Редактор базы фактов (БФ) предназначен для создания, обновления и редактирования баз фактов, сформированных для конкретных баз знаний системы ДИЭКС. В данном редакторе используется принцип виртуального экрана. Внесение новых или редактирование уже существующих фактов, характеризующих определенный объект БЗ, осуществляется путем автоматизированного занесения этих фактов в БФ с помощью специального шаблона, соответствующего конкретной БЗ.

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

В структуре фрейма определена следующая информация:

• имя объекта, для которого определен некоторый набор фактов;
• дата последней модификации фактов данного объекта;
• набор фактов, характеризующий данный объект.

Редактор БФ входит непосредственно в состав инструментальной системы ДИЭКС как отдельная программная компонента, вызов которой осуществляется как вызов обычной исполнимой программы пользователя типа .ЕХЕ. На экране возникает заставка, содержимое которой определяет дальнейшие действия пользователя. Прежде чем приступить к непосредственному редактированию БФ, необходимо выбрать БЗ, которой соответствует данная БФ. Для этого необходимо указать накопитель, каталог и имя файла (тип .SCR).

Файл типа .SCR полностью определяет шаблон БЗ, который развертывается на экране. Пассивные поля шаблона представлены поясняющими записями на экране. В основном это формулировки вопросов, на которые пользователь должен дать ответ. Ввод ответа производится только в активном поле шаблона нажатием клавиши Enter.

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

Загрузка БЗ осуществляется посредством клавиши F2. На экране появляется служебное окно для ввода накопителя и каталога, а затем предлагается указать имя редактируемой базы фактов (файл типа .FCT). После выбора БФ шаблон на экране заполняется. Если создается новая БФ, то ее имя может быть указано при записи.

По функциональной клавише F3 осуществляется запись сформированной или отредактированной БФ. На экране появляется служебное окно для указания имени файла типа .FCT. По умолчанию система подразумевает имя загруженной БФ.

По функциональной клавише F4 осуществляется очистка текущего активного поля шаблона, т.е. удаление некоторого факта объекта, определенного соответствующим вопросом.

Функциональная клавиша F5 позволяет корректировать имя объекта, что дает возможность исправлять ошибки, допущенные на этапе создания БФ.

При коррекции имени объекта на экране появляется служебное окно с указанием текущего имени объекта.

Функциональная клавиша F7 реализует функцию удаления отдельных объектов и соответствующих им наборов фактов из базы фактов. На экране появляется служебное окно со списком имеющихся в БФ объектов.

Выбор удаляемых объектов осуществляется клавишей Enter, а сама процедура удаления запускается посредством функциональной клавиши F10. Если удаляется текущий объект (т.е. находящийся в данный момент на экране), то он удаляется из БФ, с экрана, а в рамках шаблона отображается следующий объект из БФ.

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

В случае, если на данный вопрос нет ответа, активное поле будет пустым.

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

Поле даты является недоступным для пользователя. Изменение в активном поле даты производит сама система в случае, если происходила замена старых или установка новых фактов. Система выставляет дату, которая была зафиксирована операционной системой.

Редактор БФ позволяет работать с вопросами четырех типов: ЧИСЛОВЫМИ, ЧЕТКИМИ, НЕЧЕТКИМИ и ВЫБОРА.

Для просмотра всех вопросов используется принцип виртуального экрана. Прокрутка шаблона осуществляется с помощью клавиш управления курсором или клавиш листания страниц.

Независимо от типа вопроса ответ на любой из вопросов начинается с нажатия клавиши Enter.

При ответе на ЧЕТКИЙ вопрос на экране появляется меню:

Пользователю предлагается сделать выбор или по клавише Esc вернуться в исходное состояние.

При ответе на НЕЧЕТКИЙ вопрос на экране появляется меню с опциями, характеризующими в процентном отношении степень уверенности пользователя. По клавише Esc возврат в исходное состояние.

ЧИСЛОВОЙ вопрос требует ввода некоторого числового значения в заданном диапазоне.

Редактор отслеживает ошибки, связанные с вводом символьной информации. Если введенное числовое значение не попадает в требуемый диапазон, редактор выдает сообщение об ошибке. По клавише Esc возврат в исходное состояние.

При ответе на вопрос типа ВЫБОР на экране появляется меню с возможным списком ответов на данный вопрос.