描述逻辑研究进展.pdfVIP

( ) 第 9卷第 1期 江 南 大 学 学 报 自 然 科 学 版 Vo l. 9　N o. 1 　 　 　　　　 2010年 2 月 Journa l of J ian gnan Un iver sity( Na tura l Sc ien ce Ed it ion) 　 　 　 Feb. 　2010 描述逻辑研究进展 张 燕 (江苏省邮电技工学校 ,江苏 苏州 2 15009) 摘 　要 :介绍了描述逻辑系统的结构 ,对基本的描述逻辑语言以及推理机制进行了描述 。重点概述 了描述逻辑的动态扩展 、模糊以及概率扩展的研究状况 , 并根据其应用领域对描述逻辑的研究趋 势及其更新进展进行了介绍 。 关键词 : 描述逻辑 ;知识表示 ;推理机制 中图分类号 : TP 11 文献标识码 : A 文章编号 : 167 1 - 7 147 (20 10) 0 1 - 0 122 - 05 Survey of Re sea rch on D e scr ip t ion L og ic ZHAN G Yan (J iangsu Po sts and Te lecomm un ication s Techn ica l Schoo l , Suzhou 2 15009, Ch ina) A b stra c t:D e scrip tion logic (DL ) is a fo rm a l langu age fo r rep re sen ting know ledge and it is a dec idab le sub se t of firsto rde r logic. A s an effective m echan ism of know ledge rep re sen tation , de sc rip tion logc i is exten sive ly app lied to variou s fie ld s of comp u ter sc ience. The arch itectu re of DL sy stem is in troduced and the b a sic DL langu age s a s w e ll a s the ir rea son ing m echan ism of DL are de sc ribed. The cu rren t re sea rch p rogre sse s abou t dynam ic exten sion and fuzzy exten sion a s w e ll a s po ssib ility exten sion to DL are summ arized. The re sea rch trend s and up da te to DL are p re sen ted acco rd ing to app lication s of DL. Key word s: de sc rip tion logic, know ledge rep re sen tation , rea son ing m echan ism ( ) 　　描述逻辑 D e sc rip tion Logic, DL 是基于对象 描述逻辑 10 多年来备受人们关注 ,被广泛应用到计 知识表示的形式化 ,它吸取了 KL ON E的主要思想 , 算机科学的许多领域中 ,尤其是语义 W eb 的发展 。 是一阶谓词逻辑的一个可判定子集 , 能提