Рассуждения в прямом направлении

Создание и редактирование цели

Пример.

Способ 1.

ForwardChain (NULL, Rule1, Rule2, Rule3);

Способ 2.

MakeSlot (Global, Rules1_3, (Rule1, Rule2, Rule3));

ForwardChain (NULL, Global:Rules1_3);

Способ 3.

ForceCompileRuleNet (Rule1, Rule2, Rule3);

ForwardChain(NULL);

В зависимости от получаемых результатов состав рассматриваемых правил в процессе рассуждения можно изменить с помощью функций ActivateRule, DeactivateRule и SetActiveRules.

Для работы с целью необходимо выбрать пункт меню Goal или соответствующую иконку в окне инструментов (KTools). На экране появится окно (рис. 8.2) с полем ввода имени цели, которую необходимо создать, либо отредактировать.

Рис. 8.2. Окно задания цели для обратной цепочки вывода

После этого в окне редактора цели (см. рис. 6.9, разд. 6.4.7) необходимо ввести новое или отредактировать существующее тело цели, т.е. условие, при котором прекращается выполнение цепочки рассуждений, а цель считается достигнутой.

В процессе формирования прямой цепи рассуждений используется список правил (Rule List) и список слотов (Agenda), представляющий собой список пар вида «объект: слот», назначенных к рассмотрению при рассуждении в прямом направлении. Во время рассуждения состав этих списков взаимосвязано меняется. Слоты, значения которых изменяются в результате выполняемых правил, автоматически добавляются в список Agenda. По умолчанию процесс формирования прямой цепи рассуждений продолжается до тех пор, пока не опустеет один из списков – Agenda или Rule List.

Дата добавления: 2014-12-29