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

来源：软件学报杂志2015年第8期北京时间：

作者：余泉,李承乾,申宇铭,王驹

单位：余泉，中山大学 计算机科学系, 广东 广州 5100062;黔南民族师范学院 数学系, 贵州 都匀 5580003;广西可信软件重点实验室(桂林电子科技大学), 广西 桂林 541004411,李承乾，中山大学 计算机科学系, 广东 广州 510006202,申宇铭，广东外语外贸大学 思科信息学院, 广东 广州 510420503,王驹，广西师范大学 计算机科学与信息工程学院, 广西 桂林 54100404

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

关键词：极小碰集;溯因推理;本原蕴含式;素蕴含

基金资助：国家自然科学基金(61103169, 61463044); 贵州省科技厅项目((2011)LKZ7038, [2014]7421); 贵州省省长基金((2012)47); 广西可信软件重点实验室研究课题(kx201330); 北京大学高可信软件技术重点实验室开放课题(HCST201302)