Активная трассировка при прямом формировании цепочки рассуждений

Формирование прямой цепочки рассуждений можно выполнять в режиме актив­ной трассировки (Active Trace Mode). При этом можно по Списку слотов (Agenda) и Списку Правил (Rule List) видеть процесс формирования цепочки. Кроме того, можно прой­ти весь процесс формирования цепочки по шагам.

Окно трассировки правил (The Rule Trace window) содержит три дочерних окна и одну кнопку: окно текста трассировки(Trace Text window), окно Списка слотов (Agenda list box, в нем перечисляются, все необходимые в процессе рассуждения пары объект: слот), список трассируемых правил (Rulelist box) и кнопку Шаг (Step button). По умолчанию, видимым является только окно с текстом трассировки (когда режим ак­тивной трассировки выключен).

Если установлен режим активной трассировки (с помощью менюOptions в окнеRule Trace), то станут видимыми и остальные дочерние окна. Кнопка Шага появля­ется, если выполняется прямое формирование цепочки по шагам. Чтобы установить пошаговый режима, необходимо прежде установить режим активной трассировки. Поша­говый режим автоматически вызывает функциюForwardChain (формирования цепочки рассуждений в прямом направлении), появляется диалоговая панель с запросом аргумен­тов этой функции.

Пример. Пусть в окне трассировки правил (Rule Trace) выбран режим активной трассировки (Active Trace в меню Options). Тогда поместим правило Empty в список выбранных правил (в меню Trace/Break, Rule Trace).

Аналогичным образом выберем слот [People]:NumberOfP (в меню Trace/Break, Slot Trace), поместим слот Lgotn;NumberOfP в Список слотов (Agenda) с помощью функции Assert(Lgotn:NumberOfP) из меню Control.

Выберем в меню Options пункт Step Mode... и заполним появившуюся панель (рис. 1.5).

Окно трассировки правил примет вид (рис. 1.6 а).

После нажатия экранной кнопки STEP или клавиши ввода очередной элемент Списка слотов удаляется, и в Список правил добавляются все правила, имеющие отноше­ние к этому элементу (пара объект: слот):

Стрелка на кнопке STEP показывает направление действия следующего шага. Оче­редное нажатие этой кнопки удалит следующее правило в списке и добавит новые эле­менты в Список слотов (связанные с этим правилом). В нашем примере новых элементов в Agenda не появится:

Формирование цепочки вывода завершится (рис.1.7).