BACKWARD-CHAINING

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