基于可能世界的网构软件之自动推理研究

摘要：

为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统.通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解释了三段论中正确的24式.通过对形式概念的讨论得到了概念编码的方法,并给出了编码的三值运算规则.最后,通过一个具体例子的应用分析,给出了使用该编码进行自动推理的一般步骤,运算结果表明,自动推理方法在机械化与效率方面优于传统的归结原理.

关键词：网构软件、可能世界、三段论、命题逻辑、自动推理

所属期刊栏目：32

分类号：TP181(自动化基础理论)

资助基金：国家863高技术研究发展计划基金项目2007AA01Z132

在线出版日期：2011-08-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1401-1405