(set-incremental-reset <логическое-выражение>)
(get-incremental-reset)
Изменение режима добавления правил допускается только, если в системе еще не определен ни один конструктор defrule.
Команда dependencies определяет набор данных, от которых заданный образец (факт или объект) получил логическую поддержку (см. разд. 6.5.8).
Определение 16.31. Команда dependencies
(dependencies <спецификатор-факта-или-объекта>)
Под спецификатором факта или объекта в данном случае понимается не только индекс факта или имя объекта, но и переменная, связанная с некоторым фактом или объектом в левой части правила. Таким образом, dependencies является одной из немногих команд, которые разрешается использовать при определении правой части правил.
В отличие от dependencies, команда dependents определяет набор данных, которые получили логическую поддержку от заданного образца.
Определение 16.32. Команда dependents
(dependents <спецификатор-факта-или-объекта>)
Спецификатор факта или объекта в данной команде имеет такое же значение, как и в команде dependencies.
|
|
16.6. Работа с планом решения задачи
Помимо команд, предназначенных для работы с правилами и конструкторами defrule, CLIPS предоставляет также несколько команд для работы непосредственно с планом решения задачи (табл. 16.6).
Таблица 16.6. Команды работы с планом решения задачи
Команда | Описание |
agenda | Вывод текущего плана решения задачи |
run | Запуск цикла выполнения правил |
focus | Помещение модуля в стек модулей |
halt | Прекращение цикла выполнения правил |
set-strategy | Установка текущей стратегии разрешения конфликтов |
get-strategy | Проверка текущей стратегии разрешения конфликтов |
list-focus-stack | Просмотр состояния текущего стека модулей |
clear-focus-stack | Удаление всех модулей из стека модулей |
set-salience-evaluation | Установка режима вычисления приоритета правил |
get-salience-evaluation | Проверка текущего состояния режима вычисления приоритета правил |
refresh-agenda | Обновления текущего плана решения задачи |
Для просмотра содержимого текущего плана решения задачи предназначена команда agenda. Она отображает в диалоговом окне все активации, содержащиеся в плане решения задачи в соответствующем порядке, вместе с данными, активировавшими правила.