计算机工程与应用2011，Vol.47Issue(22)：41-43,56,4.DOI:10.3778/j.issn.1002-8331.2011.22.012
中介谓词逻辑一种改进的语义解释及λ-归结
Improved form of semantic model and λ-resolution for medium predicate logic system
摘要
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,l -λ)∪(l -λ,λ)∪(λ,l)(λ∈(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分类
信息技术与安全科学引用本文复制引用
张胜礼,潘正华..中介谓词逻辑一种改进的语义解释及λ-归结[J].计算机工程与应用,2011,47(22):41-43,56,4.基金项目
国家自然科学基金(the National Natural Science Foundation of China under Grant No.60973156) （the National Natural Science Foundation of China under Grant No.60973156）
兴义民族师范学院科研基金资助项目研究成果(No.11 XYYZ07). （No.11 XYYZ07）
