溯因推理

溯因法或溯因推理，是推理到最佳解释的过程。换句话说，它是开始于事实的集合并推导出它们的最合适的解释的推理过程。有时使用术语溯因(abduction)意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。

演绎和溯因区别在于推理中使用“<math>a</math> 蕴涵 <math>b</math>”这种规则的方向(与归纳的比较请参见逻辑推理):

演绎

允许推导 <math>b</math> 作为 <math>a</math> 的结论，换句话说，演绎是推导已知事物的推论；

溯因

允许推导 <math>a</math> 作为 <math>b</math> 的解释，溯因同演绎反向，通过允许“<math>a</math> 蕴涵 <math>b</math>”的前件 <math>a</math> 推导自结论 <math>b</math>；换句话说，溯因是解释已知事物的过程。

在罕见的场合，使用表达"解释结论"而不是"解释"来指名溯因过程的结果。

应用于人工智能中，包括故障诊断、信仰修正和自动计划。