Обратный вывод (backward chaining) представляет собой метод логического вывода, используемый в экспертных системах и системах искусственного интеллекта. Этот подход начинается с цели или гипотезы и движется к посылкам, в отличие от прямого вывода, который идет от имеющихся данных к выводам. Обратный вывод ищет допущения и предпосылки, которые могут объяснить или привести к заданному состоянию. Этот метод эффективен в ситуациях, когда известен только конечный результат, и требуется восстановить последовательность промежуточных шагов. Обратный вывод находит широкое применение в экспертных системах, системах планирования и отладки программного обеспечения.