理到最佳解释的过程。换句话说，它是开始于事实的集合，并推导出其最佳解释的推理过程。有时使用术语"溯因"（abduction）意味生成假设来解释观察或结论，但是前者定义在哲学和计算二者中更常见。演绎和溯因区别在于推理中使用“formula_1蕴涵formula_2”这种规则的方向（与归纳的比较请参见逻辑推理）:（以下b=结果）。（a=原因）在罕见的场合，使用表达「解释结论」而不是「解释」来指名溯因过程的结果。应用于人工智能中，包括故障诊断、信念修正和自动计划。Section:::