5. Средства отладки базы знаний

Как правило, при разработке базы знаний допускаются многочисленные ошибки. Часто они являются следствием недостаточной внимательности и организованности. Так, например, в результате ошибки могут не совпадать обозначения одного и того же слота, использованные в предметной и функциональной моделях. Вплоть до того, что в одном случае имя может начинаться с большой буквы, в другом с маленькой. Иногда возникает путаница в обозначениях оператора присваивания «=», оператора сравнения данных числового типа «==» и оператора сравнения данных символьного типа «#=». Также распространена ошибка, когда вместо круглых скобок ставится квадратная и наоборот. Для обнаружения подобных и многих других ошибок в ЭО KAPPA предусмотрены средства отладки.

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

В этом окне можно просматривать связи правил. Для этого надо выбрать интересующее Вас правило, тогда в группе IF Dependencies окажутся пра­вила, заключения которых являются посылками для него, а справа (в разделе Then Dependencies) - правила, предпосылки которых - заключение нашего правила. Слоты, которыми связаны эти правила, просматриваются посредством выбора пункта List Slots из всплывающего меню (при выборе конкретного правила).

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

Окно трассировки правил (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).