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

• 作者: 张胜礼 潘正华
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 中介谓词逻辑 语义解释 λ-解释 λ-归结
• 年，卷（期）: 2011,（22）
• 所属期刊栏目: 研究、探讨
• 页码范围: 41-43,56
• 分类号: TP301.6
• 字数: 5504字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.22.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	潘正华	江南大学理学院	45	217	9.0	13.0