【摘 要】
：
溯因推理为归纳与演绎推理之外的另一种重要的推理形式，在人工智能等领域有着广泛的应用．通俗地讲，溯因推理是从观察（结果）去推断原因的推理过程．不同于以往的研究思路，通过使用本原
【机 构】
：
中山大学计算机科学系,黔南民族师范学院数学系,广西可信软件重点实验室（桂林电子科技大学）,广东外语外贸大学思科信息学院,广西师范大学计算机科学与信息工程学院
论文部分内容阅读
溯因推理为归纳与演绎推理之外的另一种重要的推理形式，在人工智能等领域有着广泛的应用．通俗地讲，溯因推理是从观察（结果）去推断原因的推理过程．不同于以往的研究思路，通过使用本原蕴含式和素蕴含，证明了可以把命题逻辑和命题模态逻辑系统S5中求溯因问题的极小解释转化为求对应集合的极小碰集问题．给出了求解溯因问题的一种新方法．
其他文献
17世纪中叶,茶叶由凯瑟琳公主带入英国,成为英国贵族的饮品。几百年来,茶饮已发展成英国的全民饮料,由此也形成了熠熠生辉的西方茶文化。一方面,英国的文学作品推动了西方茶
推广生物质燃料在以微型燃气轮机为核心的分布式能源技术中的应用,设计了一种可燃用乙醇燃料的微型燃气轮机.通过整机热力循环参数分析,确定了乙醇燃料微型燃气轮机的设计点
【正】 澳大利亚总理基廷在今年3月大选中获胜,并再次提出他于去年提出的面向亚太的战略,并把这一战略构想又向前推进了一步,使其成为澳政府的基本国策。一、积极全面地推行
由于地质、设计、施工以及运营管理等方面的原因,运营中的隧道常常出现一系列的病害,其中最常见的就是隧道衬砌裂缝,严重影响了隧道的交通运营安全。以重庆八一、向阳隧道的
随着我国经济的飞速发展,公路建设事业也得到了突飞猛进的进步。而路基作为整个公路的基础,其病害将严重影响公路的使用寿命和经济效益。因此,公路施工单位加强路面路基的边
目的探讨药物引起固定性药疹的一般规律及特点,以提高固定性药疹的诊断和治疗水平,为临床提供诊断与治疗参考.方法利用《中国期刊全文数据库》（CHKD）,检索1994年～2014年期间国内
新时代家风建设和道德教育是传承和弘扬中华优秀传统文化的重要之举,也是践行社会主义核心价值观的主要形式。正家风与强德育是强关联的有机整体,以往由于技术手段缺失造成正
详细介绍了桥梁钻孔灌注桩施工工艺,分别针对钻孔桩钻孔施工、钢筋笼加工与制作及混凝土灌注施工三个关键工序进行了具体阐述,指出了各工序施工要点和注意事项,以期指导实践
当代科学技术快速发展,人们逐渐改变了评论栏目的评论模式、方法、内容等方面的需求,这就需要对体育报刊评论栏目进行改革创新,融入当今的时代特色,以期更好地将体育信息传播
磺胺类药物是化学合成的抗微生物药，临床上应用以来，在控制感染性疾病中发挥了很大作用。虽然近年来抗菌素飞速发展，磺胺类药物不但未被淘汰，而且在抗微生物药中仍占有重要的地位