| 四值非链格值命题逻辑系统L4P(X)的语义归结方法* |
| |
| 引用本文： | 张家锋,徐扬,何星星.四值非链格值命题逻辑系统L4P(X)的语义归结方法*[J].计算机应用研究,2011,28(9):3226-3228. |
| |
| 作者姓名： | 张家锋 徐扬 何星星 |
| |
| 作者单位： | 1. 西南交通大学智能控制开发中心,成都 610031;毕节学院逻辑、语言与认知中心,贵州 毕节 551700
2. 西南交通大学智能控制开发中心,成都,610031 |
| |
| 基金项目： | 国家自然科学基金资助项目（60875034） |
| |
| 摘 要： | 为了提高归结方法处理带有不可比较性信息的能力，给出了四值格值命题逻辑系统上的语义归结原理，并证明了其可靠性和完备性，其上归结原理的研究为归结算法的实现提供了理论基础，从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。
|
| 关 键 词： | 格蕴涵代数 自动推理 语义归结方法 四值命题逻辑系统 |
Semantic resolution method based on four-elements non-chain lattice-valued propositional logic system L4P(X) |
| |
| ZHANG Jia-feng,XU Yang,HE Xing-xing.Semantic resolution method based on four-elements non-chain lattice-valued propositional logic system L4P(X)[J].Application Research of Computers,2011,28(9):3226-3228. |
| |
| Authors: | ZHANG Jia-feng XU Yang HE Xing-xing |
| |
| Affiliation: | ZHANG Jia-feng1,2,XU Yang1,HE Xing-xing1 (1.Intelligent Control Development Center,Southwest Jiaotong University,Chengdu 610031,China,2.Center of Logic,Language & Cognition,Bijie University,Bijie Guizhou 551700,China) |
| |
| Abstract: | For improving the efficiency of dealing with information with incomparability through resolution method, this paper investigated the semantic resolution method based on four-elements non-chain lattice-valued propositional logicis system L4P(X) and proved soundness theorem and completeness theorem of this resolution method. Resolution based on L4P(X)would be the theoretical foundation of resolution algorithm. Accordingly, this paper provided some supports for the application of intelligent reasoning system including incomparable elements based on lattice-valued logic. |
| |
| Keywords: | lattice implication algebra automated reasoning semantic resolution method four-elements non-chain lattice-valued propositional logic system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
