Вывод в обратном направлении

Имеющего самое большое число условий

Вывод в прямом направлении с выбором правила,

База знаний:База фактов:

R1: Если B и D и E, ТО F Известные факты: B,C

R2: Если D и G, ТО A Цель: H

R3: Если C и F, ТО A

R4: Если B, ТО X

R5: Если D, ТО E

R6: Если A и X, ТО H

R7: Если C, ТО D

R8: Если C и X, ТО A

R9: Если X и B, ТО D

Рис. 3

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

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

Механизм выхода в обратном направлении является основным для языка PROLOG и представляется в виде процесса достижения целей.

Дата добавления: 2014-01-20