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

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

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

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

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

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

6.9. Окно просмотра иерархии выводов (Inference Browser)

Позволяет просматривать в графической форме правила, активируемые в процессе рассуждения, т.е. направление вывода решения (сразу после окончания процесса рассуждения). Это окно можно использовать для обнаружения ошибок в базе знаний (рис. 6.14).

Меню Options выполняет те же функции, что и одноименный пункт в окне Object Browser (см. раздел 6.3), за исключением пункта меню Step Mode, позволяющего запустить режим формирования обратной цепи рассуждений (см. разд. 8.5).

Рис. 6.14. Окно просмотра иерархии выводов

Кроме того, при выборе левой кнопкой мыши правила в окне выводится меню Edit / Show Relations, в котором Edit – вызывает редактор правил с текстом текущего правила, а Show Relations – активирует окно Rule Relations для выбранного правила.