直觉模糊逻辑的（α,β）-广义锁归结方法

摘要：

归结方法是定理自动证明的重要工具。为了简化直觉模糊命题逻辑的归结过程，基于直觉模糊命题逻辑归结原理的一般形式，提出了子句(αβ)-可满足和(αβ)-归结式的概念。研究了广义子句与其归结式的可满足性。在直觉模糊命题逻辑系统中给广义子句配锁，规定在做归结时各子句中被消去文字在该子句中的序号最小，由此建立了(αβ)-广义锁归结方法，并证明了该方法的可靠性和完备性。给出了直觉模糊逻辑的广义锁归结算法步骤，并通过实例说明了该方法的有效性。

关键词：自动推理、直觉模糊逻辑、(α、β)-广义锁归结方法、完备性定理

分类号：TP18(自动化基础理论)

资助基金：The National Natural Science Foundation of China under Grant Nos.61105059,61175055,61173100

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

页数：共6页

页码：1004-1009