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

• 作者: 庄朝晖
• 来源期刊: 厦门大学学报（自然科学版）
• 学科: 工学
• 关键词: 溯因推理 逻辑程序 同例 异例
• 年，卷（期）: 2008,（4）
• 所属期刊栏目: 研究论文
• 页码范围: 495-499
• 页数: 5页
• 分类号: TP18
• 字数: 6370字
• 语种: 中文
• DOI: 10.3321/j.issn:0438-0479.2008.04.008

摘要

溯因推理是在给定的理论和观察下,求出对于该观察可能的解释.然而,在一般的溯因推理中,并不要求解释的直观性和归纳性,从日常生活和科学发现的某些规律出发,本文提出了同例和异例的概念,提出了一个基于同例和异例的溯因推理框架,并引入了可诱导和可允许这两个限定条件.接下来,本文给出在该框架下求出所有极大解释的算法AH并验证了它的可靠性和完备性.最后,一个具体的例子演示了算法AH,相对于一般的溯因推理系统,本框架主要有如下的优点:溯因得到的解释更符合直观,溯因得到的解释还可以用来推导出更多的新的语句.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	庄朝晖	厦门大学信息科学与技术学院	7	7	2.0	2.0