模式识别与人工智能
2025年4月3日 星期四   首 页     期刊简介     编委会     投稿指南     伦理声明     联系我们                                                                English
模式识别与人工智能  2010, Vol. 23 Issue (4): 522-530    DOI:
综述与评论 最新目录| 下期目录| 过刊浏览| 高级检索 |
描述逻辑非标准推理
唐素勤1,2,蔡自兴1,王驹2,蒋运承2
1.中南大学 信息科学与工程学院 长沙 410083
2.广西师范大学 计算机科学与信息工程学院 桂林 541004
Non-Standard Inferences in Description Logics
TANG Su-Qin1,2,CAI Zi-Xing1 ,WANG Ju2,JIANG Yun-Cheng2
1.School of Information Science and Engineering,Central South University,Changsha 410083
2.School of Computer Science and Information Engineering,Guangxi Normal University,Guilin 541004

全文: PDF (753 KB)   HTML (1 KB) 
输出: BibTeX | EndNote (RIS)      
摘要 描述逻辑是知识工程应用领域中重要的一类知识表示形式化工具。近年来,解决描述逻辑标准推理和非标准推理已成为描述逻辑研究的一个重要内容。文中概述描述逻辑的标准推理和非标准推理的重要性和研究进展,给出LCS推理、MSC推理、重写推理、匹配推理、调试推理和保守扩充等非标准推理的定义和实现这些推理的主要技术。深入讨论LCS推理、MSC推理和匹配推理,以及混合循环术语集的非标准推理及其研究进展。最后探讨描述逻辑非标准推理的发展趋向。
服务
把本文推荐给朋友
加入我的书架
加入引用管理器
E-mail Alert
RSS
作者相关文章
关键词 描述逻辑标准推理非标准推理匹配    
Abstract:Description Logics belong to a kind of formalization method for representing knowledge in the knowledge engineering. Solving the standard and non-standard inferences has become an important research area of description logics in recent years. The significance and research advance on standard and non-standard inferences in description logics are summarized in this paper. The definition of Least Common Subsumer(LCS), Most Specific Concept(MSC), Rewriting, Matching, Debugging and Conservative Extensions, and the actualizing technologies of these Reasoning are given. Problems of the LCS, MSC, Matching, non-standard reasoning of hybrid terminological cycles in description logics and their research advance are discussed in particular. Finally, some prospects of non-standard inference in description logic are discussed.
Key wordsDescription Logics    Standard Inference    Non-Standard Inference    Matching   
收稿日期: 2009-06-09     
ZTFLH: TP181  
基金资助:国家自然科学基金项目(No.60805027, 90820302, 60663001)、教育部博士点基金项目(No.200805330005)、湖南省院士基金项目(No.2009FJ4030)、广西自然科学基金项目(No.0991100)、广西教育厅科研项目(No.桂教科研[2009]25号)和广西教育科学“十一五”规划项目(No.桂教科学[2010]8号)资助.
作者简介: 唐素勤,女,1972年生,博士研究生,副教授,主要研究方向为知识工程、语义Web、进化计算.E-mail:Sqtang@mailbox.gxnu.edu.cn.蔡自兴,男,1938年生,教授,博士生导师,主要研究方向为人工智能、智能控制、智能机器人.王驹,男,1950年生,博士,教授,主要研究方向为描述逻辑、数理逻辑.蒋运承,男,1974年生,博士,教授,主要研究方向为描述逻辑、语义Web.
引用本文:   
唐素勤,蔡自兴,王驹,蒋运承. 描述逻辑非标准推理[J]. 模式识别与人工智能, 2010, 23(4): 522-530. TANG Su-Qin,CAI Zi-Xing ,WANG Ju,JIANG Yun-Cheng. Non-Standard Inferences in Description Logics. , 2010, 23(4): 522-530.
链接本文:  
http://manu46.magtech.com.cn/Jweb_prai/CN/      或     http://manu46.magtech.com.cn/Jweb_prai/CN/Y2010/V23/I4/522
版权所有 © 《模式识别与人工智能》编辑部
地址:安微省合肥市蜀山湖路350号 电话:0551-65591176 传真:0551-65591176 Email:bjb@iim.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn