|
|||||
|
|
| 一种基于集合符号的自动推理扩展方法 | |
| 引用本文： | 刘全,伏玉琛,孙吉贵,崔志明,龚声蓉,凌兴宏.一种基于集合符号的自动推理扩展方法[J].计算机研究与发展,2007,44(8):1317-1323. |
| 作者姓名： | 刘全 伏玉琛 孙吉贵 崔志明 龚声蓉 凌兴宏 |
| 作者单位： | 1. 苏州大学计算机科学与技术学院,苏州,215006;南京大学软件新技术国家重点实验室,南京,210093;吉林大学符号计算与知识工程教育部重点实验室,长春,130012 2. 苏州大学计算机科学与技术学院,苏州,215006 3. 吉林大学符号计算与知识工程教育部重点实验室,长春,130012 |
| 基金项目： | 国家自然科学基金 , 教育部科学技术研究重点项目 , 中国博士后科学基金 , 江苏省高校自然科学基金 , 江苏省博士后科学基金 |
| 摘 要： | 在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的. |
| 关 键 词： | 集合符号 自动推理 Tableau 经典逻辑 非经典逻辑 符号 自动 推理 扩展方法 Based Method Reasoning 效率 空间 时间 结果 实验 逻辑问题 TPTP 作用 研究 模糊逻辑 算子 量词 无穷值逻辑 |
| 修稿时间： | 2006-01-04 |
An Automated Reasoning Expanded Method Based on Set Signs |
|
| Liu Quan,Fu Yuchen,Sun Jigui,Cui Zhiming,Gong Shengrong,Ling Xinghong.An Automated Reasoning Expanded Method Based on Set Signs[J].Journal of Computer Research and Development,2007,44(8):1317-1323. | |
| Authors: | Liu Quan Fu Yuchen Sun Jigui Cui Zhiming Gong Shengrong Ling Xinghong |
| Affiliation: | 1 Institute of Computer Science and Technology, Soochow University, Suzhou 215006;2 State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093;3 Ministry of Education Laboratory of Symbol Calculation and Knowledge Engineering, Jilin University, Changchun 130012 |
| Abstract: | |
| Keywords: | set sign automated reasoning tableau classical logic non-classical logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |