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

Окно связи правил (Rule Relations)

Это окно предназначено для просмотра связи правил, т.е. составных частей формируемой цепи рассуждений (рис. 6.11). При выборе интересующего правила, в левой группе (IF Dependencies) отображаются правила, заключения которых являются для него предпосылками, а в правой группе (THEN Dependencies) – правила, для которых заключение рассматриваемого правила является предпосылкой.

Слоты, значения которых анализируются в этих правилах, можно просмотреть посредством выбора пункта List Slots из всплывающего меню при выборе конкретного правила.

Рис. 6.11. Окно связи правил

Просмотреть связи любого правила, которое отображается в этом окне, можно путем его выбора мышью или с помощью пункта меню Options / Show Relations. Кроме того, из этого окна можно загрузить редактор правил.

Это окно позволяет просматривать процесс рассуждения в пошаговом режиме и является инструментом отладки (трассировки) системы правил (рис. 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. Листинг результатов работы прямой цепи рассуждений
в окне трассировки правил

Дата добавления: 2014-12-29