Определение 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 предназначена для помещения всех текущих активаций заданного правила в план решения задачи.

Определение 16.29. Команда refresh

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

Команды set-incremental-reset и get-incremental-reset служат для установки и проверки режима обновления правил (incremental reset behavior mode). Если данный режим включен, что является установкой по умолчанию, то только что добавленные правила будут обновляться согласно текущему со­стоянию списка фактов системы. Если данный режим отключен, только что добавленные правила будут обновляться только фактами, добавленными после определения правила. Команда set-incremental-reset использует заданное логическое выражение для установки текущего значения режима обновления правил и возвращает предыдущее установленное значение. Команда get-incremental-reset выводит в диалоговое окно системы текущее установленное значение режима обновления правил (true — включен, false — выключен). Синтаксис этих команд приведен ниже.