格值命题逻辑LP(X)中自动推理算法效率分析

摘要：

在格值命题逻辑中α-归结自动推理算法的基础上.给出了格值命题逻辑系统中的α-归结自动推理算法的流程图,并对该算法的计算效率进行了分析.分析表明,该算法不仅降低了计算复杂度,而且减少了搜索次数.

关键词：格值命题逻辑系统、α-归结自动推理、α-归结原理、算法、计算效率

所属期刊栏目：6

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

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

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

页数：共3页

页码：9802-9803,9809