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

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

Рис. 6.12. Окно трассировки правил

Главное меню окна содержит следующие пункты:

• File – работа с файлами:

• Save Window Content –сохранить содержимое окна в файле;

  • Edit – редактирование содержимого окна:

• Clear Window – очистить окно (информация в окне безвозвратно удаляется из памяти);

  • Options – свойства, содержит подпункты Resize Window Contents, Active Trace и Step Mode, которые будут подробно рассмотрены в разделе 8.4.3;

  • Trace / Break – управление режимами трассировки:

• Rule Trace и Slot Trace –выбор правил и слотов для трассировки,

• Rule Break и Slot Break – установка прерываний трассировки;

  • Control – управление процессом трассировки:

• Start – начинает процесс трассировки,

• Assert –помещает выбранный слот в список подлежащих рассмотрению слотов,

• SetForwardChainMode –устанавливает режим работы списков подлежащих рассмотрению правил и слотов (см. разд. 8.4.1),

• ForwardChain –формирует прямую цепь рассуждений,

• BackwardChain – формирует обратную цепь рассуждений,

• ResetForwardChain – очищает списки подлежащих рассмотрению правил и слотов,

• Call Function – выполняет пользовательскую функцию, предварительно предложив список всех имеющихся,

• Explain – активирует средство объяснений (см. разд. 6.10).

Для запуска процесса трассировки правил необходимо:

1. выбрать в главном окне ЭО KAPPA иконку Rule Trace;

2. в меню Trace / Break выбрать режим Rule Trace;

3. выбрать необходимые правила из списка Available Rules;

4. поместить необходимые правила их в список Selected Rules;

5. выбрать требуемый режим трассировки в подменю Control;

6. запустить процесс трассировки путем выбора подпункта Start.

Рис. 6.13. Листинг результатов работы прямой цепи рассуждений в окне трассировки правил