中介谓词逻辑一种改进的语义解释及λ-归结

作者：张胜礼; 潘正华

来源：计算机工程与应用, 2011, (22): 41-43+56.

• 中介谓词逻辑
• 语义解释
• λ-解释
• λ-归结 medium predicate logic
• semantic interpretation
• λ-interpretation
• λ-resolution

潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当Afuz时～A真"这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为(0,1-λ)∪(1-λ,λ)∪(λ,1)(λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。

• 出版日期2011
• 单位江南大学; 兴义民族师范学院