Стратегия управления. 
Символический искусственный интеллект: математические основы представления знаний

С. Управляющая структура продукционной системы проста: база фактов инициализируется начальным описанием задачи. Текущее состояние решения задачи также отражается в базе фактов. Текущее содержимое базы фактов сопоставляется с условиями продукционных правил, что порождает подмножество применимых правил, иногда называемое конфликтным множеством^[1]. Далее выбирается одна из продукций г е R конфликтного множества (выполняется разрешение конфликта) и выполняется действие /этого правила. В результате применения правила меняется не только состояние базы фактов, но и, возможно, меняется конфликтное множество. Дело в том, что после изменения состояния базы условия некоторых правил могут перестать выполняться, и эти правила нужно исключить из конфликтного множества. В то же время условия ранее не включенных правил могут стать истинными, и их необходимо включить. При этом стратегии разрешения конфликтов (стратегии управления) могут быть как достаточно простыми, например, выбор первого применимого правила, так и достаточно сложными, например, использующими сложные эвристики. Правила применяются в соответствии со стратегией управления, скажем, до тех пор, пока не будет достигнуто условие окончания либо уже не окажется больше применимых правил.

• [1] Условия продукционных правил вовсе не обязаны образовывать полную дизъюнктнуюсистему предикатов в общем случае. Вполне может случиться так, что сразу несколько правил являются применимыми — в этом случае они конфликтуют друг с другом. В то же времяможет статься, что ни одно правило не окажется применимым в некоторой ситуации, этоозначает, что система продукций не может продолжить работу и останавливается с результатом fail — неудача.