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

Система, в которой реализована выборка с прямым логическим выводом (forward chaining), при запуске имеет некоторый набор начальных предположений. Такая система постоянно пытается применить правила до тех пор, пока не достигнет желаемого результата. Этот метод называется управляемым данными (data-driven approach), поскольку факты и правила объединяются для получения на их основе новых фактов. Например, исходя из начальных предположений о ситуации, RBS-система, основанная на выборке с прямым логическим выводом, может определить, какое оружие нужно использовать.
Ниже описана последовательность работы интерпретатора, использующего выборку с прямым логическим выводом, на одном цикле. Этот цикл называют также циклом распознай-действуй (recognize-act).
> Поиск соответствия. На этой стадии идентифицируются все правила, для которых выполняется заданное условие, исходя из состояния базы правил.
> Разрешение конфликтов. Если на предыдущем этапе было установлено, что условиям соответствует несколько правил, из них выбирается только одно.
> Выполнение. На этом этапе выполняется тело правила, отобранного на предыдущем этапе, в результате чего обычно изменяется содержимое рабочей памяти (явно или неявно).
При имитации (т.е. при решении проблемы управления) такие правила применяются постоянно по мере необходимости, тогда как при решении проблем дедуктивным методом при достижении первого успешного выполнения заданного условия цикл прерывается. В первом случае это может приводить к тому, что интерпретатор зацикливается, а во втором — к тому, что он заходит в тупик. Методы решения этих проблем будут обсуждаться далее в подразделе "Управляющие стратегии".