基于可能世界的网构软件之自动推理研究
为了实现网构软件的自动推理问题,在基于可能世界的网构软件模型上,给出了一种基于概念分析的自动推理系统.通过对三段论的分析得到了自动推理的一般原则,并运用这些原则解释了三段论中正确的24式.通过对形式概念的讨论得到了概念编码的方法,并给出了编码的三值运算规则.最后,通过一个具体例子的应用分析,给出了使用该编码进行自动推理的一般步骤,运算结果表明,自动推理方法在机械化与效率方面优于传统的归结原理.
网构软件、可能世界、三段论、命题逻辑、自动推理
32
TP181(自动化基础理论)
国家863高技术研究发展计划基金项目2007AA01Z132
2011-08-08(万方平台首次上网日期,不代表论文的发表时间)
共5页
1401-1405