вывод «от цели к фактам». Справочник технического переводчика. Интент.

	вывод «от цели к фактам» В экспертных системах и автоматическом доказательстве теорем — способ рассуждений, при котором для доказательства истинности утверждения делается попытка доказать истинность утверждений, из которых оно непосредственно следует; процесс продолжается до тех пор, пока рассуждение не дойдёт до известных фактов или не будет получено утверждение, для вывода которого нет правил. [Борковский А. Б. Англо-русский словарь по программированию и информатике. 1990]
EN
FR

вывод «от цели к фактам»