描述逻辑非标准推理木.pdfVIP

第23卷 第4期 模式识别与人工智能 Vo1．23 No．4 2010年 8月 PR AI Aug 2010 描 述 逻 辑 非 标 准 推 理木 唐素勤 蔡 自兴 王 驹 蒋运承 (中南大学 信息科学与工程学院 长沙 410083) (广西师范大学 计算机科学与信息工程学院 桂林 541004) 摘 要 描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具．近年来，解决描述逻辑标准推理和非 标准推理已成为描述逻辑研究的一个重要内容．文中慨述描述逻辑的标准推理和非标准推理的重要性和研究进 展，给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主 要技术．深入讨论 LCS推理、MSC推理和匹配推理，以及混合循环术语集的非标准推理及其研究进展．最后探讨描 述逻辑非标准推理的发展趋向． 关键词 描述逻辑，标准推理，非标准推理，匹配 中图法分类号 TP181 Non—StandardInferencesinDescriptionLogics TANG8uQin ，CAIZi—Xing，WANGJu，JIANGYun．Cheng (SchoolofInformationScienceandEngineering，CentralSouthUniversity，Changsha410083) (SchoolofComputerScienceandInformationEngineering，GuangxiNormalUniversity，Guilin541004) ABSTRACT Description Logicsbelong to akind offormalization method for representing knowledge in the knowledge engineering． Solving the standard and non-standard inferenceshasbecomean important researchareaofdescriptionlogicsinrecentyears．Thesignificanceandresearchadvanceonstandardand non—standard inferencesin description logicsare summarized in thispaper． The definition ofLeast CommonSubsumer(LCS)，MostSpecificConcept(MSC)，Rewriting，Matching，Debuggingand ConservativeExtensions，andtheactualizingtechnologiesoftheseReasoningaregiven．Problemsofthe LCS，MSC，Matching，non—standardreasoningofhybridterminologicalcyclesindescription logicsand theirresearchadvancearediscussedinparticular．Finally，someprospectsofnon—standardinofrencein descriptionlogicarediscussed． KeyW ords DescriptionLogics，StandardInference，Non—StandardInference，Matching 国家自然科学基金项 目(No90820302、教育部博士点基金项 目(No．200805330005)、湖南省院士基 金项目(No．2009FJ4030)、广西自然科学基金项目(No