Обратный поиск в глубину

Прямой поиск

Начало поиска в глубину

факты

цель

начало поиска в ширину

факты цель

Начало поиска

факты цель

Начало поиска в ширину

факты цель

Пример:

Б.П:

D->E

M&N ->F

Q->Z

A*F->D

E&A ->N

B->M

F&C ->Q

C&M->x

A&C->F

X&N->W

Факты А, В, С

Вопрос: Как бы вы использовали прямую цепочку рассуждений для демонстрации истинности Z

Решение:

Мы двигаемся от фактов к данным!

Просматриваются все правила верху в них и срабатывает только одно правило

1) A*F->D получаем факт D

2) D-> E получаем факт E

3) E&A ->N N

4) B->M M

5) M&N ->F

6) F&C ->Q

7) Q->Z Задача решена Z найденна

Вопрос как бы вы использовали обратную цепочку рассуждений для демонстрации Z

D->E

M&N ->F

Q->Z

A*F->D

E&A ->N

B->M

F&C ->Q

C&M->x

A&C->F

X&N->W

Факты А, В, С

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