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

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