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

Вывод в прямом направлении.

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

- выбирается первое применимое правило в порядке их нумерации;

- из всех применимых правил выбирается то, которое имеет самое большое число условий.

Успех достигается, когда цель попадает в базу фактов. Неудача происходит, когда никакое правило больше не применимо.

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

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

Рис. 2

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