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

• 作者: 郭佳宏 高东平 黎永锦
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 序演算 对应定理 自然逻辑 判定算法 Lambek演算
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 人工智能
• 页码范围: 944-947,951
• 页数: 5页
• 分类号: TP312
• 字数: 4493字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黎永锦	中山大学逻辑与认知研究所	20	62	4.0	7.0
2	郭佳宏	北京师范大学哲学与社会学学院	19	32	3.0	5.0
3	高东平	北京理工大学计算机科学技术学院	3	1	1.0	1.0