Создание пробной экспертной системы

Во время консультации может создаться впечатление, что действия, выполняемые машиной логических выводов, не имеют отношения к проблеме. Это возможно потому, что пользователь не знает, как происходит внутренний процесс аргументации. Если пользователь действительно не понимает, почему от него требуют той или иной информации, он может отреагировать, используя Y(CTRL-Y). В этом случае он увидит на экране дисплея текущее обрабатываемое правило. После нажатия ENTER это объяснение исчезает, и он может ввести ответ.

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

HOW - выдает переменные, которые использовались;

WHY - объясняет правила, которые использовались.

Объясним, какую информацию дает их использование.

HOW - выдает значение переменкой цели, правило или правила, с помощью которых была определена цель.

HOW "имя переменной" - выдает значение или значения с указанной переменной.

HOW "число" - выдает значение или значения переменной с порядковым номером, заданными этой переменной в наборе правил.

WHY - воспроизводит на экране дисплея объяснение (REASON) и переменные, которые требовались для правила, выполняющегося последним. Переменные отображаются с порядковый номером, который можно потом использовать в команде HOW (см. выше).

WHY "имя правила" - воспроизводит на экране дисплея объяснение (REASON) и переменные, необходимые для данного правила.

WHY "число" - воспроизводит на экране дисплея объяснение и переменные, необходимые для REASON правила с указанным порядковым номером в наборе правил.

Для того чтобы объяснить процесс аргументации, необходимо использовать HOW и WHY совместно.

Опишем подробно работу набора правил. Он предназначен для иллюстрация обратной аргументации.

В INITIAL идет инициализация переменных. Рассмотрим ее отдельные строки.

e.tryp = 'e' - задает стратегию оценки посылки (части “if” правила), содержащего неизвестные переменные. Истинность посылки оценивается сразу же после того, как очередная неизвестная переменная становится известной. Тестирование посылки прекращается (несмотря на то, что все переменные в ней еще не определены), если только удается определенно установить ее истинность или ложность.