| 四值非链格值命题逻辑系统LP4(X)的归结原理 |
| |
| 引用本文： | 孟丹,郑逢斌,徐扬,秦克云. 四值非链格值命题逻辑系统LP4(X)的归结原理[J]. 河南大学学报(自然科学版), 2003, 33(3): 43-46 |
| |
| 作者姓名： | 孟丹 郑逢斌 徐扬 秦克云 |
| |
| 作者单位： | 西南交通大学,智能控制开发中心,四川,成都,610031;西南交通大学,智能控制开发中心,四川,成都,610031;河南大学,计算机与信息工程学院,河南,开封,475001 |
| |
| 基金项目： | 国家自然科学基金资助课题(60074014) |
| |
| 摘 要： | 基于格蕴涵代数的格值命题逻辑系统LP4(X)的相关概念和结果,给出了LP4(X)上的归结原理,并证明了其可靠性和完备性。四值命题逻辑系统LP4(X)作为含有不可比真值的一种基本且重要的格蕴涵代数结构,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。
|
| 关 键 词： | 自动推理 归结原理 格蕴涵代数 非链格蕴涵代数上的四值命题逻辑系统LP4(X) |
| 文章编号： | 1003-4978(2003)03-0043-04 |
| 修稿时间： | 2003-05-30 |
Resolution Principle Based on Four-element Non-Chain Lattice-valued Proposition Logic LP4(X) |
| |
| Abstract: | |
| |
| Keywords: | automated reasoning resolution Principle lattice implication algebra four-element non-chain lattice-valued logic LP_4(X) |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
