逆向推理working backward

从问题的目标状态向初始状态递推，逐渐探索解决某个问题的各种先行步骤，一直追溯到问题的起点。例如，我们要去城内某地，先在地图上找到它的位置，然后看哪路汽车通向那里，最后确定一条最佳的路线，这就是逆向推理，这种策略对证明几何定理很有用。

逆向推理backward inference

亦称“逆向工作”、“目标驱动推理”。与“顺向推理”相对。问题解决策略的一种。由结论出发，逐级验证该结论的正确性，直到已知条件。基本推理过程是从表示目标的谓词或命题出发，使用一组规则证明事实谓词或命题成立，即提出一批假设（目标），然后逐一验证这些假设的正确性。适用于问题空间中有多条途径从初始状态出发，而只有少数途径通向目标状态的问题。新手多采用逆向推理解决问题。

逆向推理

亦称“目标递归策略”、“逆向工作”。与“顺向推理”相对。问题解决策略的一种。指个体按照子目标组成的逻辑顺序，从问题的目标状态开始，逐级向初始状态递归的问题解决策略。适用于问题空间中有多条途径从初始状态出发，而只有少数路径通向目标状态的问题。新手多采用逆向推理解决问题。