| 格值命题逻辑系统中基于滤子的MP归结演绎 |
| |
| 引用本文： | 夏世芬,秦应兵,徐扬.格值命题逻辑系统中基于滤子的MP归结演绎[J].模糊系统与数学,2009,23(1). |
| |
| 作者姓名： | 夏世芬 秦应兵 徐扬 |
| |
| 作者单位： | 西南交通大学,数学系,四川,成都,610031 |
| |
| 基金项目： | 国家自然科学基金，西南交通大学基金 |
| |
| 摘 要： | 给出了格值命题逻辑系统中子句的极简规则型范式,定义了MP归结.结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤予的MP归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理.为进一步研究格值逻辑的自动归结推理奠定了理论基础.
|
| 关 键 词： | 格蕴涵代数 格值命题逻辑 归结 滤子 |
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System |
| |
| XIA Shi-fen,QIN Ying-bing,XU Yang.MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System[J].Fuzzy Systems and Mathematics,2009,23(1). |
| |
| Authors: | XIA Shi-fen QIN Ying-bing XU Yang |
| |
| Institution: | Department of Mathematics;Southwest Jiaotong University;Chengdu 610031;China |
| |
| Abstract: | 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. |
| |
| Keywords: | Lattice Implication Algebra Lattice-valued Proposition Logic System Resolution Filter |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
