论文部分内容阅读
描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具.近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容.文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术.深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展.最后探讨描述逻辑非标准推理的发展趋向.
Descriptive logic is one of the most important forms of knowledge representation in the field of application of knowledge engineering.In recent years, it has become an important part of descriptive logic research to solve the problems of describing logic standard reasoning and non-standard inference.This paper outlines the standard reasoning and non-standard The importance of reasoning and research progress, and the definition of non-standard reasoning such as LCS reasoning, MSC reasoning, rewriting reasoning, matching reasoning, debugging reasoning and conservative extension, and the main techniques to realize these reasoning are given.We discuss LCS reasoning, MSC reasoning and Matching reasoning and non-standard reasoning of mixed cycle terminology and its research progress.Finally, we discuss the development trend of non-standard reasoning describing logic.