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