Интерпретация правил-продукций

Интерпретация правил начинается с выбора цели логического вывода или задачи. В качестве цели логического вывода используется один из целевых слотов, содержащихся во фрейме-классе со специальным именем «Цель».

Далее осуществляется поиск правила, в заключении которого присутствует выбранный целевой слот.

После нахождения правила начинается его интерпретация (перебор и проверка условий). При проверке условия ищется соответствующий слот. Первоначальный поиск выполняется в базе данных. Если слот имеет значение, то оно используется при проверке условия. Если значения нет, то значение слота запрашивается у пользователя, с использованием меню выбора символьных значений, или окна для ввода численного значения, или того и другого в случае слота лингвистического типа. Слот в условии может указываться своим локальным именем или глобальным (с указанием имени фрейма). При локальном имени слота поиск начинается с фрейма, использованного последним при логическом выводе. Такой фрейм считается текущим. Имя текущего фрейма хранится в качестве значения слота специального фрейма, описывающего контекст диалога. Этот фрейм всегда доступен для проверки условия в правилах.

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

Коэффициент достоверности набора условий вычисляется как коэффициент достоверности конъюнкции (минимальное значение из значений коэффициентов достоверности условий).

Коэффициент достоверности слота фрейма-экземпляра, формируемого на основе заключения, вычисляется как произведение коэффициента достоверности набора условий и коэффициента достоверности заключения. Если такой слот во фрейме-экземпляре уже есть, то его коэффициент достоверности меняется на новое значение, вычисляемое по формуле:

кд _{результирующий} = кд _{исходного слота} + кд _{набора условий} * (1 – кд _{исходного слота})

При проверке условия в правиле или при выработке решения (заключения правила) в случае, если коэффициент достоверности меньше определенной величины (20%), условие или заключение считаются не выполненными.

Описание программной оболочки

Общий вид

Общий вид основного окна программной оболочки ESWin представлен на рис. 1.

Рис. 1. Основное окно.

Строка заголовка

Заголовок окна содержит название загруженной для интерпретации базы знаний (определяется строкой TITLE базы знаний).

Строка меню

Меню содержит пункты: «Файл», «Решение» и «?».

Пункт меню «Файл» содержит пункты:

• «Открыть базу знаний…» – загрузка базы знаний (из *.klb файла). Загрузка описания лингвистических переменных выполняется автоматически (из *.lvd файла). Общий вид основного окна после загрузки базы знаний представлен на рис. 2;

Рис. 2. Основное окно после загрузки базы знаний.

• «Открыть базу данных…» – загрузка базы данных (из *.dtb файла);

• «Выход» – завершение работы программной оболочки.

Пункт меню «Решение» содержит пункты: «Выбор цели» – задание цели логического вывода. Общий вид дополнительного окна выбора цели представлен на рис. 3;

Рис. 3. Окно «Выбор задачи».

• «Поиск решения» – поиск первого подходящего решения для заданной цели логического вывода. Вид дополнительных окон, отображающихся в процессе поиска решения, представлен на рис. 4. Общий вид основного окна после нахождения решения заданной цели представлен на рис. 5

Рис. 4. Окна «Выбор значения» и «Ввод значения».

Рис. 5. Основное окно с результатами логического вывода.

• «Поиск следующего решения» – последовательный поиск следующих подходящих решений для заданной цели логического вывода;

• «Трассировка решения» – просмотр последовательности действий, выполненных программной оболочкой в процессе поиска решения. Общий вид дополнительного окна с результатами трассировки представлен на рис. 6;

Рис. 6. Окно с результатами трассировки.

• «Просмотр базы данных» – просмотр фреймов-экземпляров, полученных в результате логического вывода (интерпретации базы знаний), с возможностью удаления отдельного слота фрейма-экземпляра, отдельного фрейма-экземпляра и всех фреймов-экземпляров базы данных. Общий вид дополнительного окна просмотра базы данных представлен на рис. 7;

Рис. 7. Окно с фреймами-экземплярами базы данных.

• «Очистка базы данных» – удаление всех фреймов-экземпляров, полученных в результате логического вывода (интерпретации базы знаний).

Пункт меню «?» содержит пункты:

• «Вызов справки» – получение справочной информации;

• «О программе» – информация о программе.