Работа с правилами

CLIPS предоставляет 12 команд, предназначенных для работы с правилами и конструкторами defrule (табл. 16.5).

Таблица 16.5. Команды работы с правилами

Команда	Описание
ppdefrule	Вывод определения конструктора defrule в диалоговое окно CLIPS
list-defrules	Вывод в диалоговое окно системы списка всех опреде­ленных конструкторов defrule
undefrule	Удаление определенного конструктора defrule
matches	Просмотр списка набора данных (фактов или объектов), способных активировать заданное правило
set-break	Задание точки останова
remove-break	Удаление точки останова
show-breaks	Просмотр всех точек останова
refresh	Помещение всех текущих активаций заданного правила в план решения задачи
set-incremental-reset	Установка режима обновления правил
get-incremental-reset	Проверка текущего состояния режима обновления правил
dependencies	Вывод списка зависимостей факта или объекта
dependents	Вывод списка всех зависимых фактов или объектов

Команда ppdefrule выводит в диалоговое окно системы определение задан­ного конструктора defrule.

Определение 16.23. Команда ppdefrule

(ppdefrule <имя-конструктора>)

Команда list-defrules предназначена для отображения в диалоговом окне списка имен всех определенных в системе конструкторов defrules.

Определение 16.24. Команда list-defrules

(list-defrules [<имя-модуля>])

Если необязательный параметр <имя-модуля> не указан, то данная команда выводит имена всех конструкторов defrule, определенных в текущем моду­ле. Если параметр содержит имя конкретного модуля, команда list-defrules выводит список конструкторов, определенных в заданном модуле. Допускается использование символа *, в этом случае команда выведет в диалоговое окно имена всех конструкторов defrules, определенных во всех модулях системы.

Команда undefrule предназначена для удаления определенных пользователем конструкторов defrules.

Определение 16.25. Команда undefrules

(undefrule <имя-конструктора>)

В качестве параметра <имя-конструктора> допускается использование симво­ла *. В этом случае команда попытается удалить все определенные пользо­вателем правила.

Для просмотра всех наборов данных (фактов и объектов), способных акти­вировать заданное правило, предназначена команда matches, синтаксис ко­торой приведен ниже.

Определение 16.26. Команда matches

(matches <имя-правила>)

Пример использования данной команды приведен в разд. 6.6.5.

Команды set-break и remove-break предназначены для задания и удаления точек останова на указанном правиле. Эта возможность чрезвычайно полез­на при отладке и проверке правильности правил сложной экспертной сис­темы. Цикл выполнения правил прерывается перед исполнением правила, для которого определена точка останова. Если такое правило является пер­вым в плане решения задачи, приостановка цикла выполнения правил про­изводиться не будет.

Определение 16.27. Команды set-break и remove-break

(set-break <имя-правила>)

(remove-break [<имя-правила>])

Если при выполнении команды remove-break не указан необязательный параметр <имя-правила>, будут сняты все определенные ранее точки останова.

Для просмотра списка всех правил, на которых установлена точка останова, предназначена команда show-breaks.

Определение 16.28. Команда show-breaks

(show-breaks [<имя-модуля>])

С помощью необязательного параметра <имя-модуля> можно указать имя конкретного модуля, и в этом случае команда будет выводить только прави­ла, определенные в заданном модуле. Если в качестве данного параметра использовать *, то команда отобразит правила с определенными точками останова во всех модулях системы. Если параметр <имя-модуля> не задан, в диалоговое окно системы будут выведены правила, определенные в теку­щем модуле.

Команда refresh предназначена для помещения всех текущих активаций заданного правила в план решения задачи.