Прямой вывод. 
Унифицированное универсальное моделирование формализмов продукционных знаний

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

Прямой вывод рекомендуется использовать в следующих случаях.

• — все или большинство исходных данных заданы в постановке задачи
• — существует большое количество потенциальных целей, но мало способов использования фактов
• — сформировать цель или гипотезу очень трудно

Обратный вывод

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

Обратный вывод рекомендуется использовать в следующих случаях:

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