溯因推理 溯因推理 溯因法或溯因推理英语abductive reasoning也译作反绎推理反向推理是從事實推理到最佳解释的过程换句话说它是开始于事实的集合并推导出其最佳解释的推理过程有时使用术语溯因abduction意味生成假设来解释观察或结论但是前者定义在哲学和计算二者中更常见 演绎和溯因区别在于推理中使用 a displaystyle a 蕴涵 b displaystyle b 这种规则的方向与归纳的比较请参见逻辑推理 以下b结果a原因 演绎允许推导 b displaystyle b 作为 a displaystyle a 的结论换句话说演绎是推导已知事物的推论 溯因允许推导 a displaystyle a 作为 b displaystyle b 的解释溯因同演绎反向通过允许 a displaystyle a 蕴涵 b displaystyle b 的前件 a displaystyle a 推导自结论 b displaystyle b 换句话说溯因是解释已知事物的过程 在罕见的场合使用表达解释结论而不是解释来指名溯因过程的结果 应用于人工智能中包括故障诊断信念修正和自动计划