格值命题逻辑系统中基于滤子的MP归结演绎  

MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System

作　　者：夏世芬[1] 秦应兵[1] 徐扬[1] 

机构地区：[1]西南交通大学数学系,四川成都610031

出　　处：《模糊系统与数学》2009年第1期1-5,共5页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(60474022);西南交通大学基金资助项目(2006B09)

摘　　要：给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的自动归结推理奠定了理论基础。In this paper, first, the extra simple ruled normal form of clause of lattice-valued propositional logic system LP（X） and the definition of MP resolution are given. Then resolution inference and its semantic and syntactic properties based on filter are discussed. Finally, the soundness theorem and completeness theorem are proved. The results in this paper may be useful for the application of intelligent reasoning system based on lattice-valued logic.

关 键 词：格蕴涵代数 格值命题逻辑 归结 滤子 

分 类 号：O141[理学—数学]