描述逻辑非标准推理

描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术.深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展.最后探讨描述逻辑非标准推理的发展趋向.