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

В рассуждении, управляемом целями, механизм вывода пытается проверить факт достижения цели путем нахождения правил, которые могут его доказать, и дальнейшей попыткой проверки их предпосылок этих правил. Предпосылки, в свою очередь, становятся новыми фактами, которые будут проверяться другими правилами, и т.д.

Для такого формирования цепочки рассуждений требуется предопределенная цель (написанная в Goal-редакторе).

Различают три возможные фазы в обратном рассуждении:

1. расширение (Expanding), при котором происходит попытка оценки условных частей правил и значений пар «объект : слот» в направлении достижения цели;

2. разрушение (Collapsing) – определение достижения цели. Цель может быть достигнута благодаря недавно добавленным с помощью процесса расширения новым фактам. Пары «объект : слот» и правила могут быть «разрушены» ради достижения цели (становятся лишними);

3. выяснение (Asking), при котором происходит запрос у пользователя значения слота при обнаружении отсутствия последнего. Эта фаза является не обязательной. Для отказа от нее необходимо использовать опцию NOASK при вызове функции.

Вызвать процесс формирования цепочки в обратном направлении можно четырьмя способами:

1. с помощью функции BackwardChain (см. разд. 7.1.6);

2. из окна трассировки правил путем выбора пункта меню Options / Backward Chain;

3. из окна Inference Browser путем выбора пункта меню Options / Step Mode);

4. программно, с помощью интерпретатора KAL-выражений.

Для более легкого определения состояния текущего процесса при формировании обратного рассуждения в ЭО KAPPA используется система Раскраски, объясняемая в следующей таблице 8.1.

Таблица 8.1.

Схема раскраски при обратном формировании цепочки
Цвета	Правила	Слоты
(Если слоты и правила имеют отношение)
черный	имеют отношение и должны быть расширены
синий	расширены, но все еще есть недостаток информации	были расширены, но пока не проведено выяснение
(Как только прошел процесс (выяснение или расширение), сразу правила и слоты становятся красного, серого или зеленого цвета)
красный	ложно (FALSE)	не определен
серый / оранжевый	-----	определен и не участвовал в работе
зеленый	истинно (TRUE)	определен и участвовал в работе
(Только слоты помещаются в рамку)
Помещаются в рамку	-----	слоты собираются расширяться, разрушаться или «выясняться»

Контрольные вопросы

1. Какой инструментарий ЭО KAPPA предназначен для демонстрации стратегий принятия решений?

2. Как осуществляется взаимодействие правил в цепочках логических рассуждений и стратегиях принятия решений при организации логического вывода в ЭО KAPPA?

3. Назовите отличия прямой и обратной цепочек логических рассуждений.

4. Какой инструментарий ЭО KAPPA предназначен для демонстрации логических рассуждений?

5. Назовите используемые в ЭО KAPPA стратегии принятия решений.