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

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

格值命题逻辑LP(X)中不可分极简式的性质

基于格值命题逻辑LP(X)的α-归结原理及α-归结自动推理方法,能够较好地刻画具有可比较性和不可比较性的不确定性信息。LP(X)中的不可分极简式是一个非常重要的概念,本文对蕴涵运算个数小于3的不可分极简式的性质和判定方法进行了讨论,得到了一些重要结论。