论文研究 描述逻辑系统[ELN]中概念的匹配算法研究.pdf

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