BACKWARDCHAINING

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

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

висновок "від мети до фактів" (в експертних системах і автоматичному доказі теорем)

доведення типу "від мети до фактів"