逆向推理又称目标驱动推理,是问题解决策略的一种。
它的推理方式和正向推理正好相反,它是由结论出发,逐级验证该结论的正确性,直至已知条件。指从问题的目标状态出发,按照子目标组成的逻辑顺序逐级向初始状态递归的问题解决策略。逆推就是逆向推理。它的推理方式和正向推理正好相反,它是由结论出发,逐级验证该结论的正确性,直至已知条件。主要特点:将问题解决的目标分解成问题解决的子目标,直至使子目标按逆推途径与给定条件建立直接联系或等同起来,即目标→子目标→子目标→现有条件。实际应用:逆向推理控制策略的优点是目的性强,不必寻找与假设无关的信息和知识。这种策略对推理过程提供较精确的解释,告诉用户要达到目标所使用的规则(知识)。另外,此控制策略在解空间较小的问题求解环境下尤为合适,它利于向用户提供求解过程。缺点在于初始目标的选择有盲目性,不能通过用户提供的有用信息来操作,用户要求快速输入相应的问题领域,若不符合实际,则要多次提出假设,影响系统效率。与正向推理相比,反向推理的目的性很强,通常用于验证某一特定知识是否成立。