中介谓词逻辑一种改进的语义解释及λ-归结-计算机工程与应用.PDFVIP

Computer Engineering and Applications 计算机工程与应用 2011 ，47 （22 ） 41 中介谓词逻辑一种改进的语义解释及λ-归结 1 2 张胜礼 ，潘正华 1 2 ZHANG Shengli ，PAN Zhenghua 1.兴义民族师范学院 计算机科学系，贵州 兴义 562400 2.江南大学 理学院，江苏 无锡 214122 1.Department of Computer Science ，Xingyi Normal University for Nationalities ，Xingyi ，Guizhou 562400 ，China 2.School of Science ，Jiangnan University ，Wuxi ，Jiangsu 214122 ，China ZHANG Shengli ，PAN Zhenghua.Improved form of semantic model and λ-resolution for medium predicate logic system. Computer Engineering and Applications ，2011 ，47 （22 ）：41-43. 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 in- È vestigates 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 摘 要：潘给出的中介谓词逻辑系统MF 的无穷值语义解释，不同于MF 的其他任何语义解释。但在该无穷值语义解释下“，当A fuz 时~A 真”这种情况并未得到反映，并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻