格值命题逻辑系统LP(X)的Ⅱ-α-超归结原理

摘要：

针对格值命题逻辑中归结自动推理算法的效率问题,在格值命题逻辑系统中的α-归结原理基础上,提出了格值命题逻辑系统LP(X)上的Ⅱ-α-超归结原理,并证明了其可靠性和完备性.最后,通过一个具体的例子来说明Ⅱ-α-超归结原理对于提高自动推理算法的效率十分有效.

关键词：格值命题逻辑系统、归结自动推理、α-归结原理、Ⅱ-α-起归结原理

所属期刊栏目：5

分类号：O153(代数、数论、组合理论)

资助基金：国家自然科学基金60875034;高等学校博士学科点专项科研基金项目20060613007

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

页数：共3页

页码：9547-9549