|
|||||
|
|
| 基于序演算的推理系统OCRS及其判定算法 | |
| 引用本文： | 高东平,郭佳宏,黎永锦.基于序演算的推理系统OCRS及其判定算法[J].计算机工程与设计,2009,30(4). |
| 作者姓名： | 高东平 郭佳宏 黎永锦 |
| 作者单位： | 1. 北京理工大学计算机科学技术学院,北京,100081 2. 北京师范大学哲学与社会学学院,北京,100875 3. 中山大学逻辑与认知研究所,广东,广州510275 |
| 基金项目： | 国家自然科学基金，教育部哲学社会科学研究重大课题，教育部人文社会科学研究青年基金 |
| 摘 要： | 序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法.在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS.该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大.另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理. |
| 关 键 词： | 序演算 对应定理 自然逻辑 判定算法 Lambek演算 |
Reasoning system OCRS based on order calculus and its decision algorithm |
|
| GAO Dong-ping,GUO Jia-hong,LI Yong-jin.Reasoning system OCRS based on order calculus and its decision algorithm[J].Computer Engineering and Design,2009,30(4). | |
| Authors: | GAO Dong-ping GUO Jia-hong LI Yong-jin |
| Abstract: | |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ | |