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

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (22): 41-43.

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

张胜礼1，潘正华2

1.兴义民族师范学院计算机科学系，贵州兴义 562400
2.江南大学理学院，江苏无锡 214122

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-08-01 发布日期:2011-08-01

Improved form of semantic model and λ-resolution for medium predicate logic system

ZHANG Shengli1，PAN Zhenghua2

1.Department of Computer Science，Xingyi Normal University for Nationalities，Xingyi，Guizhou 562400，China
2.School of Science，Jiangnan University，Wuxi，Jiangsu 214122，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-08-01 Published:2011-08-01

摘要/Abstract

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

关键词: 中介谓词逻辑, 语义解释, λ-解释, λ-归结

Abstract: For the medium predicate system MF，Pan proposed the infinite-valued semantic interpretation which differentiated from any other interpretation for MF.However，this type of infinite-valued semantic interpretation never reflects “~A true when A fuz”，and must be modified to better suit the objective situation in fuzzy knowledge reasoning.This paper further investigates and gives out one novel kind of infinite-valued semantic interpretation whose truth-valued field is（0，1－λ）[∪]（1－λ，λ）[∪]（λ，1）（λ[∈]（0.5，1）） for MF，and redefines the concept of the literal in MF.One novel kind of λ-resolution for MF is proposed and the completeness of which is proved.Moreover，this interpretation further shows that it is possible to represent fuzzy knowledge and reason using the medium logic.

Key words: medium predicate logic, semantic interpretation, λ-interpretation, λ-resolution

张胜礼1，潘正华2. 中介谓词逻辑一种改进的语义解释及λ-归结[J]. 计算机工程与应用, 2011, 47(22): 41-43.

ZHANG Shengli1，PAN Zhenghua2. Improved form of semantic model and λ-resolution for medium predicate logic system[J]. Computer Engineering and Applications, 2011, 47(22): 41-43.