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