摘要
给出了格值命题逻辑系统中子句的极简规则型范式,定义了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.
出处
《模糊系统与数学》
CSCD
北大核心
2009年第1期1-5,共5页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(60474022)
西南交通大学基金资助项目(2006B09)
关键词
格蕴涵代数
格值命题逻辑
归结
滤子
Lattice Implication Algebra
Lattice-valued Proposition Logic System
Resolution
Filter
