描述逻辑的非单调扩展研究及在语义网中应用

《描述逻辑的非单调扩展研究及在语义网中应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、描述逻辑的非单调扩展研究及在语义网中的应用中国科学技术大学硕士学位论文我的科研工作有了具体的研究对象．这些是我一个人工作中很难考虑清楚的问题．此外，还要感谢理论组的其他成员，他们是：宋志伟，姜节汇，李欢，范正洁，靳国强，徐文松一每周的理论组组会总是让我了解到很多新的思想，新的进展，给我自己的工作不断带来灵感．感谢多主体系统竞赛组的成员，感谢徐凯，范长杰，刘飞，刘津苏，吴峰，薛峰，王继良，石珂，王峰，袁麟．你们优秀的竞赛成绩和你们的敬业，忘我，为荣誉而战的工作精神一直是我学习的榜样．本文的完成过程中，还需要

2、感谢国内外同行的指导．澳大利亚悉尼科技大学创新技术实验室主任，国际知识表示与推理协会(KRInc．)主席Mary—AnneWilliams教授在2006年，2007年的两次访问实验室，听了我的报告后给予了建设性的评价和指导，对我之后的工作起了深远的影响．她在2007年4月在科大开设了信念修订研讨班，高屋建瓴的对信念修订二十年的发展进行了深入而易于理解的讲授，让我很快在这一高度理论化的领域入门，并且将研究重心转入了信念修订技术在描述逻辑上的应用．在两次访问中，我还有幸与她就科研方法学，科学态度，以及现今知识

3、表示领域的研究趋势和具体研究课题进行了交流，她的高度专业化和富有智慧的谈话令我终身受益．感谢德国Karlsmhe大学知识管理研究组(AIFB)的漆桂林博士与我长达一年的交流和讨论．我们的讨论内容涉及本体修订，偏好推理，描述逻辑的应用，语义网的发展趋势，论文撰写的技巧的各个方面，让我开阔了眼界，并且得到了很多实际的，行之有效的经验．漆桂林博士和荷兰阿姆斯特丹自由大学的黄智生博士在本文第四章工作完成过程中的讨论，极大的提高了第四章工作的技术含量和理论深度．此外，还要感谢英国牛津大学计算实验室的IanHon．o

4、cks教授，BorisMotik博士，IBM中国研究中心的梅婧博士和北京大学数学科学学院的马跃博士对本文工作的支持和讨论．感谢中国科学技术大学计算机系的老师在研究生阶段的教导，他们有(排名不分先后)：许胤龙教授，黄刘生教授，龚育昌教授，蒋凡教授，陈意云教授，曹先彬教授，顾乃杰教授，孙广中副教授等．他们的教学为我的专业课程和背景打下的坚实的基础，感谢计算机系的教职员工为我的学习和研究创造了良好的环境，他们是(排名不分先后)：于天顺老师，李胜柏老师，卢贤若老师，李金龙老师，张荣老师等．感谢这三年来我在中国科学

5、技术大学结交的好友，他们是王飞，王琳，沈劲松，李朝晖，刘茵子，周旭升，韩坤，唐宗尧，赵亚军．与他们的融洽相处让我的生活充满乐趣．他们一直是我战胜困难，迎接挑战的精神支柱．中国科学技术大学硕士学位论文致谢最后，也是最重要的，感谢25年来一直支持我，爱我的家人．没有他们的关心，支持和无微不至的爱，就没有今天的我．中国科学技术大学安徽，合肥2008年5月杨方凯第一章引言语义网上的非单调推理的研究，涉及到几个重要的研究方法论和动机问题：语义网要解决什么问题?非单调推理要解决什么问题?语义网的研究和实现为什么要借鉴

6、非单调推理的研究结果?这种研究的现状和困难是什么．本章就全文工作的出发点进行了概述，澄清以上问题，为本文工作的动机奠定基础．本章主要包含以下内容：．1．1，1．2介绍语义网的基本技术，理论和方法，阐明要实现语义网的目标，它的理论基础是人工智能和知识表示，即，描述路基．．1．3介绍人工智能中对常识推理的研究，主要介绍了非单调推理，以及实现非单调推理的两条研究路线：非单调逻辑和信念修订．．1．4阐述语义网的实现需要对现有描述逻辑本体进行非单调扩展，并且综述了研究困难和目前的研究现状．．1．5简介了本文的工作．

7、本文考虑了描述逻辑本体在这两条研究路线上的不同扩展，提出了新的方法．1．1语义网概述随着计算机网络的普及和万维网的蓬勃房展，网络已经成为了人们生活不可缺少的部分．从网络中，用户可以获得大量的信息和数据，这使得计算机不再是一个仅供科学计算的工具，而在信息获取，信息处理中发挥着举足轻重的作用，成为了信息高速公路的接入点．人们通过万维网搜索自己感兴趣的网页，收发电子邮件，在线聊天，网上购物，或者进行网络游戏．这已经成为了万维网在今天的最典型的应用．可是，这些应用并没有得到合理的软件支持．以搜索网页为例，万维网的

8、成功很大程度上取决于搜索引擎(如Google，Baidu)的支持．但是搜索到自己期望的网页仍然需要大量的人力，这主要是因为目前的搜索引擎有以下严重的问题：引言语义网上的非单调推理的研究，涉及到几个重要的研究方法论和动机问题：语义网要解决什么问题?非单调推理要解决什么问题?语义网的研究和实现为什么要借鉴非单调推理的研究结果?这种研究的现状和困难是什么．本章就全文工作的出发点进行了概述，澄清以上问题，为本文工作的动机奠定基础．本章