一种基于同例和异例的溯因推理.pdf

第 47 卷 　第 4 期 ( ) Vol . 47 　No . 4 厦门大学学报 自然科学版 　2008 年 7 月 J our nal of Xiamen U niver sit y (N at ural Science) J ul . 2008 　 一种基于同例和异例的溯因推理 庄 朝 晖 (厦门大学信息科学与技术学院 ,福建 厦门 36 1005) 摘要 : 溯因推理是在给定的理论和观察下 ,求出对于该观察可能的解释. 然而 ,在一般的溯因推理中 ,并不要求解释的 直观性和归纳性. 从日常生活和科学发现的某些规律出发 ,本文提出了同例和异例的概念 ,提出了一个基于同例和异例 的溯因推理框架 ,并引入了可诱导和可允许这两个限定条件. 接下来 ,本文给出在该框架下求出所有极大解释的算法 A H 并验证了它的可靠性和完备性. 最后 ,一个具体的例子演示了算法 A H . 相对于一般的溯因推理系统 ,本框架主要有 如下的优点 :溯因得到的解释更符合直观 ,溯因得到的解释还可以用来推导出更多的新的语句. 关键词 : 溯因推理 ;逻辑程序 ; 同例 ;异例 中图分类号 : TP 18 　　　　文献标识码 :A 　　　　　文章编号 (2008) ( ) 内, 寻找具有属性 Q 的个体 同例 , 并考察该个体的 1 　理论背景 其它属性, 看是否是这些其它的属性导致属性 Q; 另外 ( ) 在演绎推理和归纳推理之外 ,哲学家和逻辑学家 一方面, 我们也会寻找不具有属性 Q 的个体 异例 , 并考察该个体的其它属性, 我们相信这些属性不能导 皮尔士提出了第 3 种推理方法 溯因推理. 近几年 来 ,溯因推理的形式化已经获得了很大的发展 ,在人工 致属性 Q. 如此, 基于同例和异例的分析, 我们最后才 ( ) 得出一个极佳的解释 极大的解释 . 这种基于同例和 ( ) 智能领域产生广泛的影响. 所谓溯因 A b duction ,就 异例的溯因推理, 在佛教逻辑中有很多非形式化的论 ( ) 是在给定的理论和某个观察 Ob servation 下 ,求出该 观察在理论下可能的解释. 述[ 6] . 文献[ 1]给出了一个关于溯因推理的形式化描述. 2 　基于同例和异例的溯因归纳框架 ( ) ( ) 给定一个语句集 T 理论 和一个语句 G