溯因推理问题的碰集求解方法

• 作者: 余泉 李承乾 王驹 申宇铭
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 极小碰集 溯因推理 本原蕴含式 素蕴含
• 年，卷（期）: 2015,（8）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 1937-1945
• 页数: 9页
• 分类号: TP181
• 字数: 9898字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004694

摘要

溯因推理为归纳与演绎推理之外的另一种重要的推理形式,在人工智能等领域有着广泛的应用.通俗地讲,溯因推理是从观察(结果)去推断原因的推理过程.不同于以往的研究思路,通过使用本原蕴舍式和素蕴含,证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题.给出了求解溯因问题的一种新方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	申宇铭	广东外语外贸大学思科信息学院	6	21	3.0	4.0
3	李承乾	中山大学计算机科学系	1	3	1.0	1.0