基于序演算的推理系统OCRS及其判定算法  

Reasoning system OCRS based on order calculus and its decision algorithm

作　　者：高东平[1] 郭佳宏[2] 黎永锦[3] 

机构地区：[1]北京理工大学计算机科学技术学院,北京100081 [2]北京师范大学哲学与社会学学院,北京100875 [3]中山大学逻辑与认知研究所,广东广州510275

出　　处：《计算机工程与设计》2009年第4期944-947,951,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(70873134;10871213);教育部哲学社会科学研究重大课题攻关基金项目(04JZD006);教育部人文社会科学研究青年基金项目(07JC720401)

摘　　要：序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS。该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大。另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理。Lots of linguistic information can be preserved if order calculus is applied to express inferences. And some inferences in daily communions is described more naturally. So order calculus is one of the core approaches in many natural logic inference systems. Here a reasoning system OCRS is provided based on order calculus. In OCRS, order calculus is also a core method, integrating Lambek calculus. And we add an order relation of properties followed from Zamansky. We consider some semantical characters of fuzzy quan- riflers. The scope of reasoning there is much broader than that in natural logic systems. And later, a decision algorithm of order calculus is put farward, and the corresponding theorem of the decision algorithm is proven.

关 键 词：序演算 对应定理 自然逻辑 判定算法 Lambek演算 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]