Стратегии управления выводом

От выбранного метода поиска, то есть от стратегии вывода, будет зависеть порядок применения и срабатывания правил. Процедура выбора сводится к определению направления поиска и способа его осуществления. Процедуры поиска обычно «зашиты» в механизм вывода, поэтому в большинстве систем к ним нет доступа.

При разработке стратегии управления важно решить два вопроса:

1. Какую точку в пространстве состояний принять в качестве исходной? От выбора этой точки зависит метод поиска- в прямом или обратном направлении.

2. Какими методами можно повысить эффективность поиска решений? В глубину, в ширину, по задачам и т.п.

Прямой и обратный вывод

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

Если она оказалась правильной, то выбирается следующая гипотеза, детализирующая первую и являющаяся к ней подцелью.

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