(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 — выключен). Синтаксис этих команд приведен ниже.