| 关于格值逻辑系统中语义归结的几点思考 |
| |
| 引用本文： | 张家锋,彭麟淋,李景云.关于格值逻辑系统中语义归结的几点思考[J].毕节学院学报,2011,29(1):57-61. |
| |
| 作者姓名： | 张家锋 彭麟淋 李景云 |
| |
| 作者单位： | 张家锋,ZHANG Jia-feng(毕节学院逻辑、语言与认知研究中心,贵州,毕节,551700;西南交通大学信息科学与技术学院,四川,成都,610031);彭麟淋,PENG Lin-lin(毕节学院逻辑、语言与认知研究中心,贵州,毕节,551700);李景云,LI Jing-yun(西南交通大学信息科学与技术学院,四川,成都,610031) |
| |
| 基金项目： | 贵州省教育厅高校人文社会科学研究专项项目，毕节学院自然科学基金重点项目 |
| |
| 摘 要： | 语义归结方法是对归结原理的一种重要改进,能有效地提高归结推理的效率,讨论了格值逻辑系统的语义归结方法,并列出了语义归结方法的一些创新点。
|
| 关 键 词： | 格值逻辑 归结原理 语义归结 自动推理 |
Some Thoughts of Semantic Resolution Basing on Lattice-Valued Logic |
| |
| ZHANG Jia-feng,PENG Lin-lin,LI Jing-yun.Some Thoughts of Semantic Resolution Basing on Lattice-Valued Logic[J].Journal of Bijie University,2011,29(1):57-61. |
| |
| Authors: | ZHANG Jia-feng PENG Lin-lin LI Jing-yun |
| |
| Institution: | ZHANG Jia-feng1,2 PENG Lin-lin1,LI Jing-yun2(1.Center of Logic,Language and Cognition,Bijie University Bijie,Guizhou 551700,China,2.School of Information Science and Technology,Southwest Jiaotong University,Chengdu,Sichuan610031,China) |
| |
| Abstract: | Semantic resolution method is an important amend methods of resolution principle,ican im-prove the efficiency of resolution reasoning.The present paper discussed the semantic resolution method on lattice-valued logic system,and some innovations on semantic resolution was listed. |
| |
| Keywords: | Lattice-valued Logic Resolution Principle Semantic Resolution Automated Reasoning |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
