描述逻辑系统εLN中概念的匹配算法研究

• 作者: 余泉 张维 王驹 蒋运承
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 描述逻辑 概念模式 匹配
• 年，卷（期）: 2013,（2）
• 所属期刊栏目: 理论研究、研发设计
• 页码范围: 48-52
• 页数: 5页
• 分类号: TP18
• 字数: 4060字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1109-0284

摘要

分析了描述逻辑非标准推理的重要性,总结了描述逻辑中概念的匹配推理研究现状和存在的问题,针对匹配推理在处理数量限制和存在量词的不足研究了描述逻辑系统εLN中概念的匹配推理.将概念变量引入描述语言εLN,定义出了εLN中概念模式,进而给出了εLN中概念的匹配算法,证明了算法的可靠性并指出该算法计算出的匹配极小完全集的基数是随着匹配问题的大小(size)呈指数增长的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王驹	广西师范大学计算机科学与信息工程学院	53	458	11.0	19.0
2	蒋运承	华南师范大学计算机学院	17	590	7.0	17.0