Прямой вывод

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