Окно трассировки правил (Rule Trace)

Это окно позволяет просматривать процесс рассуждения поэтапно, т.е.
является инструментом отладки (трассировки) системы правил.

Состав основного меню рассматриваемого окна виден из рисунка. Пункт File со­держит только строку Save Window Content... - позволяет сохранить в файле содержимое окна. Подменю Edit - Clear Window - очистить окно (тем самым, удалив информацию из памяти компьютера). Подменю Options-Resize Window Content..., Active Trace иStep Mode... – рассмотрено выше. Состав менюTrace/Break: Rule Trace и Slot Trace - позволяет выбрать (Select) правила и слоты для трассировки.Rule Break и Slot Break - для прерывания процесса трассировки.

Разберемся с подменю управления (Control). Start - запускает пользовательскую функцию с аналогичным именем (если такой нет, то опция недоступна).Assert... - вызы­вает KAL-функцию Assert, которая помещает слот в список рассматриваемых слотов, это необходимо проделать перед выполнением правила с неопределенным параметром (Patterns). SetForwardChainMode... - позволяет установить режим работы Списка правил и Списка подлежащих рассмотрению слотов (Agenda) и рассматривается подробно при изучении стратегий принятия решений, ForwardChain... - начинает прямое формирование цепочки рассуждений вызовом одноименной KAL-функции, BackwardChain...- форми­рование цепочки в обратном направлении, ResetForwardChain- вызывает одноименную KAL-функцию для очищения Списка правил и Списка подлежащих рассмотрению слотов, Call Function ... - выполняет функцию пользователя, предварительно предложив список имеющихся, Explain- активизирует средство объяснений системы КАРРА .

Для использования трассировщика правил надо

1) выбрать в главном окне системы КАРРА иконку Rule Trace;

2) из меню Trace/Break - Rule Trace;

3) выбрать правила из списка доступных (Available Rules);

4) перенести их в список выбранных (Selected Rules);

5) OK;

6) начать рассуждения, выбрав надлежащий режим из меню управления(Control).