论文部分内容阅读
进一步深入研究了基于格蕴涵代数的格值命题逻辑系统LP（X）的多元α-归结原理的基本理论,给出了基于LP（X）的多元α-归结演绎中参与多元α-归结的广义文字个数随着归结演绎的推进而动态变化的基本原则;对基于LP（X）的多元α-归结原理的有效性进行了一定分析,这为建立基于LP（X）的多元α-归结方法以及构造多元α-归结算法奠定了理论基础。