逆向推理又称目标驱动推理，是问题解决策略的一种。它的推理方式和正向推理正好相反，它是由结论出发，逐级验证该结论的正确性，直至已知条件。

主要特点：将问题解决的目标分解成问题解决的子目标，直至使子目标按逆推途径与给定条件建立直接联系或等同起来，即目标→子目标→子目标→现有条件。

适用于问题空间中有多条途径从初始状态出发，而只有少数路径通向目标状态的问题。