Обратная цепочка вывода — метод вывода, который начинается с цели или гипотезы и движется назад, чтобы определить, подтверждают ли ее известные факты или правила. Она используется в экспертных системах, доказателях теорем, логическом программировании, proof assistants и других приложениях ИИ (AI) для рассуждений.
(Also backward reasoning.) An inference method described colloquially as working backward from the goal. It is used in automated theorem provers, inference engines, proof assistants, and other artificial intelligence applications.