41 Стратегии вывода. Обратная цепочка рассуждений.
На глобальном уровне управления последовательностью применения правил можно выделить две стратегии вывода — применять правила в прямом и обратном порядке. Прямой порядок означает, что цепь рассуждений строится, отталкиваясь от данных (условий, о которых известно, что они удовлетворяются), к гипотезам (состоянию проблемы, вытекающему из этих условий). Обратная цепочка означает, что рассуждения строятся, отталкиваясь от заданной цели (гипотезы, представляющие целевое состояние системы) к условиям, при которых возможно достижение этой цели.
Обратная цепочка рассуждения.
Активизируются правила, способные подтвердить целевую гипотезу, затем факты, входящие в условную часть этих правил, устанавливающиеся промежуточными целями т система старается их определить.
Пример
Найти
С.
