别在于推理中使用“formula_1 蕴涵formula_2”这种规则的方向（与归纳的比较请参见逻辑推理）:（以下b=结果）。（a=原因）在罕见的场合，使用表达「解释结论」而不是「解释」来指名溯因过程的结果。应用于人工智能中，包括故障诊断、信念修正和自动计划。
基于逻辑的溯因.在逻辑中，溯因法通过表示领域的逻辑理论formula_11和观察的集合formula_12进行的。溯因是依据formula_11推导formula_12的解释的集合。formula_15要成为fo