论文部分内容阅读
序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法。在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS。该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大。另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理。