7.1.6. Функции работы с правилами

ActivateRule (<имя правила>); – добавляет правило в список активных правил.

BackwardChain ([NOASK,] <имя цели>, <список активных правил>); – формирует обратную цепь рассуждений.

DeactivateRule (<имя правила>); – удаляет правило из списка активных правил.

DeleteRule (<имя правила>); – удаляет правило из базы знаний.

ForceCompileRuleNet (<список правил>); – указывает список правил, которые будут использоваться при формировании цепочки вывода. Список правил представляет собой имена правил, перечисленные через запятую.

ForwardChain ([NOASSERT,] <имя цели >, <список активных правил>); – формирует прямую цепь рассуждений.

GetRuleComment (<имя правила>); – возвращает строку – комментарий к указанному правилу.

MakeRule (<имя правила>, [<имя объекта> | <имя класса>,] If <выражение>, Then <выражение>); – создает в текущей базе знаний новое правило. Аргумент вида <имя объекта> | <имя класса> является шаблоном переменной правила (patterns, см. разд. 6.4.6).

RenameRule (<имя правила>, <новое имя правила>); – переименовывает существующее правило;

ResetForwardChain (); – очищает список формирования прямой цепи рассуждений.

Rule? (<имя правила>); – определяет существование правила с заданным именем.

SetActiveRules (<список правил>); – помещает правила из указанного списка в список активных правил.

SetForwardChainMode (<стратегия>, <режим>); – устанавливает стратегию и режим формирования прямой цепи рассуждений. Более подробно эта функция и задаваемые ей стратегии и режимы будут рассмотрены в разд. 8.4.1.

SetRuleComment (<имя правила>, <строка>); – добавляет строку – комментарий к указанному правилу.

SetRulePriority (<имя правила>, <приоритет>); – устанавливает приоритет правила.

WriteAllRules () – сохраняет все правила в предварительно открытом для записи ASCII-файле.

WriteRule (<имя правила >); – сохраняет правило в предварительно открытом ASCII-файле.