收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

整体结构及其表示与推理

于洋  
【摘要】: 使用计算机解决应用问题的一般过程可以概括为:对于某个给定领域和目标,应用某种语言为该问题建立可计算的模型。这个过程主要涉及本体论、语言(逻辑)和计算三个领域的理论和技术,其中本体论是核心与起点。本文的工作涉及上述三个方面。 一、本体论方面的工作 基于对部分整体关系(partof)的分析,提出了整体结构。partof关系因具有特殊的语义以及在本体论中的重要地位而广受关注。本文讨论并分析了使用partof来表示整体的局限性、困难性和复杂性,指出问题的关键所在是没能体现partof的特殊语义。分析表明,partof是in关系的子关系,其特殊语义与本体依赖和整体性有本质的联系。这种特殊语义不能被当前的表示语言以直观的方式来体现和刻画。为克服这一问题引入了整体结构构造,该构造具有很强的本体能力。通过它,整体被表示成结构化的实体,由一系列内在事物按照某种完整性约束组合而成。partof和in关系的特殊语义可以通过整体结构与其内部事物之间的关系来体现。由于整体结构具有天然的模块化性质和局部化语义,因此可以使得知识表示更加自然和简洁。 基于整体结构,提出了一种非常一般的角色模型。角色是另一个受到广泛关注的概念,它对于整体结构的定义也是至关重要的。相关研究表明,角色的表示及其语义与对象和上下文有着密切关系。要形式化角色,必须首先形式化上下文。整体结构本质上是上下文,基于它,提出了一个新的角色模型:角色是不同于对象(类)的类型,二者之间必须通过play关系联系;角色总是整体结构的内部事物,其扮演者(对象)必须位于整体结构外部;角色实例存在依赖于扮演者和上下文。该模型为角色概念提供了统一的表示形式,能够体现当前关于角色的几乎所有特征。 基于哲学本体论框架,提出了本体论元建模体系结构(OMMA)。在哲学界,本体论至少涉及三个主要组成部分:一组基本范畴的列表、基本范畴的性质以及相互间的关系、用于解释基本范畴的形而上学。三级实例化结构和Peirce三分法以非常抽象的方式体现了这个框架的基本原理。基于它们,提出了OMMA和存在的一般表示模式:后者指明前者在每个级别上的核心任务是通过整体结构建立事物间的依赖关系。OMMA的核心观点是赋予(同一级别事物间的)in关系和(相邻级别事物间的)实例化关系以相同的基础性地位。其可以作为构建形式理论、定义元语言和本体描述语言的指导原则。 二、形式化本体描述语言方面的工作 基于OMMA,提出了一个新的本体描述语言,可将它视为传统逻辑语言的整体结构扩展。 该语言将整体结构看作是基本的语法成分,因此无论是语法上还是语义上都发生了重要改变。语法方面,除了整体结构外,还要求在引用内部事物时,必须明确的指出其所在的整体结构,称这样的概念(实例)为具体概念(实例)。语义方面,单纯的集合论对于整体性和本体依赖的语义解释是不够的。为此,提出了一种新的形式理论,其在集合论的基础上增加了in关系和内涵结构。 基于该语言,形式定义了基本范畴之间的本体依赖关系,刻画了Is-A和play等重要关系的性质和约束。特别是,形式地刻画了角色的基本性质和特征。另外,根据对角色实例的两种不同观点,给出了本体描述语言的两种语义解释。 将该语言应用于UML静态结构的形式化表示。UML的某些表示不够严格,不能将其直接转化为本文提出的形式化语言表示,因此应首先规范UML静态建模元素的表示。为此,根据本文提出的本体元建模体系结构,提出了一个UML表示的新框架,形式定义了UML的几个基本构造。符合相关约束的UML表示可以直接地转化为本文提出的本体描述语言。另外,该框架的一个副产品是不同视角的模型可以被融合在一起。 三、可判定描述逻辑方面的工作 描述逻辑(DLs)是当前知识表示特别是本体描述的最为重要的形式体系之一,其强调概念间的包含关系以及描述语言的可判定性。本文用整体结构来扩展描述逻辑,得到表达能力更强同时可判定的描述语言。这个结果主要源于整体结构具有特殊的模型论性质。 首先,讨论了描述逻辑的两种关系约束扩展。第一个采用整体结构来表示关系。由于整体结构具有天然的模块性,与同一个关系有关的约束可以被紧凑地组织在一起。这样,多元关系就能以非常自然的方式表达出来,推理效率也会得到提高。第二个用关系的无环约束和有限链约束来扩展DLs。这个扩展可以给出有向无环关系和良建性质的基本约束。两种扩展都是可判定的。 基于整数规划分别系统地提出了有和无基数约束(又称CBox)DLs的有限模型推理算法(FMRA)。FMRA对于整体结构的可满足性至关重要。 指出无基数约束描述逻辑的FMRA的主要困难所在,提出了受限子类型概念作为对策。基于这一概念,给出了不同DL的FMRA。这些算法与己提出的算法相比更加简单和实用。进一步,证明了基本描述逻辑ALC关于CBox推理是非确定指数完全的。这说明DLs关于CBox推理是一致地困难。讨论了有和无基数约束描述逻辑在FMRA上的关键不同点,为具有基数约束的描述逻辑提出了实用的FMRA。这些算法填补了DLs在FMRA方面的一个空白。 最后,提出了描述逻辑的整体结构扩展并给出了推理算法。该算法本质上是无限制模型的场景算法与FMRA的混合,其中,FMRA主要处理整体结构的内部可满足性问题。证明了该扩展的可判定性,展示了该扩展的表达能力。 本文的主要贡献可以概括为:一个好的本体论基础对形式理论以及描述语言都有重大影响,而后者又进一步影响了寻找表达能力更强且可判定的受限语言的可能性。本文的研究在本体论、本体描述语言和可判定性语言方面均有所突破。希望本文的工作有助于构建一个更加强大的理论基础,也希望其能为诸如软件工程等领域提供一个更加自然、简单和强大的形式化语言支持。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 裘江南;王磊;王宁;;基于描述逻辑的概念检索模型[J];辽宁工程技术大学学报(自然科学版);2009年03期
2 唐素勤;蔡自兴;王驹;蒋运承;;描述逻辑非标准推理[J];模式识别与人工智能;2010年04期
3 张和芬;;谈建立我国学位论文检索体系[J];图书馆理论与实践;1992年02期
4 ;关于推荐2008年CCF优秀博士学位论文的通知[J];软件学报;2008年08期
5 ;关于推荐2008年CCF优秀博士学位论文的通知[J];微电子学与计算机;2008年08期
6 ;关于推荐2008年CCF优秀博士学位论文的通知[J];小型微型计算机系统;2008年08期
7 ;关于推荐2009年CCF优秀博士学位论文的通知[J];计算机应用;2009年08期
8 ;关于推荐2009年CCF优秀博士学位论文的通知[J];微电子学与计算机;2009年08期
9 ;关于推荐2009年CCF优秀博士学位论文的通知[J];计算机应用;2009年09期
10 ;关于推荐2009年CCF优秀博士学位论文的通知[J];微电子学与计算机;2009年09期
11 杨敬波;贾丽虹;张召兵;;描述逻辑SHIQ研究[J];曲阜师范大学学报(自然科学版);2006年01期
12 李宗寿;;基于描述逻辑的知识建模语言[J];怀化学院学报(自然科学);2007年02期
13 ;关于推荐2009年CCF优秀博士学位论文的通知[J];计算机应用研究;2009年08期
14 ;关于推荐2009年CCF优秀博士学位论文的通知[J];小型微型计算机系统;2009年08期
15 ;关于推荐2009年CCF优秀博士学位论文的通知[J];小型微型计算机系统;2009年09期
16 ;关于推荐2009年CCF优秀博士学位论文的通知[J];小型微型计算机系统;2009年10期
17 王淞昕;;基于描述逻辑的图像检索框架[J];吉林大学学报(理学版);2010年02期
18 蒋运承;史忠植;汤庸;王驹;;面向语义Web语义表示的模糊描述逻辑[J];软件学报;2007年06期
19 ;关于推荐2008年CCF优秀博士学位论文的通知[J];计算机工程与应用;2008年24期
20 ;关于推荐2009年CCF优秀博士学位论文的通知[J];计算机科学;2009年08期
中国重要会议论文全文数据库 前10条
1 林秋雁;石耀霖;魏东平;;坚守在教学前沿的战士——纪念刘东生院士从事研究生教育50载[A];纪念刘东生院士[C];2009年
2 王姝;;无疆的远行者——追记国家最高科技奖得主刘东生院士[A];纪念刘东生院士[C];2009年
3 廖志丹;;对研究生奖学金制度改革的利弊分析及措施初探[A];福建省高校思想政治教育研究会2008年年会优秀论文专辑(一)[C];2008年
4 ;“2008年分子手性起源与识别学术研讨会”组织委员会[A];“2008年分子手性起源与识别学术研讨会”论文集[C];2008年
5 张广军;;提高认识,加强探索,努力改变当前的不良局面[A];新观点新学说学术沙龙文集10:发明与发现上升到科学理论的条件和过程[C];2007年
6 赵燕;杨鸿泰;;研究生突发心理问题预警及应急处置方法研究[A];第八届中国管理科学学术年会论文集[C];2006年
7 ;前言[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
8 ;2007年研究生学术交流会——通信与信息技术征文通知[A];第一届中国高校通信类院系学术研讨会论文集[C];2007年
9 ;2007年研究生学术交流会——通信与信息技术征文通知[A];2007通信理论与技术新发展——第十二届全国青年通信学术会议论文集(下册)[C];2007年
10 ;刘福垣简介[A];第四届中国杰出管理者年会论文集[C];2008年
中国博士学位论文全文数据库 前10条
1 于洋;整体结构及其表示与推理[D];国防科学技术大学;2007年
2 郭静;自动谈判的协议及策略问题研究[D];国防科学技术大学;2007年
3 刘芳;基于过程本体的异质Agent协作技术研究[D];国防科学技术大学;2006年
4 栾悉道;多媒体数据语义建模及应用研究[D];国防科学技术大学;2008年
5 王明阳;非合作超宽带冲激无线电信号检测技术研究[D];国防科学技术大学;2006年
6 耿淑敏;FM-CW SAR信号处理关键技术研究[D];国防科学技术大学;2008年
7 许丹;辐射源指纹机理及识别方法研究[D];国防科学技术大学;2008年
8 宋峻峰;面向语义Web的领域本体表示、推理、集成及其应用研究[D];国防科学技术大学;2006年
9 梁光明;体液细胞图像有形成分智能识别关键技术研究[D];国防科学技术大学;2008年
10 周晓光;极化SAR图像分类方法研究[D];国防科学技术大学;2008年
中国硕士学位论文全文数据库 前10条
1 陈健;基于本体的仿真想定校验方法研究[D];国防科学技术大学;2009年
2 王杰生;基于描述逻辑的语义Web服务组合[D];国防科学技术大学;2006年
3 李杰;YHFT-QDSP的片上实时调试结构设计和实现[D];国防科学技术大学;2007年
4 陈绍荣;脑的高级功能研究及脑信息处理建模[D];国防科学技术大学;2003年
5 张夕阳;单兵野战医疗救护数据采集终端系统[D];国防科学技术大学;2005年
6 李泽文;基于FPGA的多媒体控制系统设计[D];国防科学技术大学;2006年
7 陈远辉;基于FPGA的直接数字频率合成器设计[D];国防科学技术大学;2006年
8 高成栋;部队招聘中介管理信息系统的设计与实现[D];国防科学技术大学;2006年
9 林星;基于SOA的金融企业框架研究和应用[D];国防科学技术大学;2007年
10 刘进军;空间战场威胁评估方法研究[D];国防科学技术大学;2008年
中国重要报纸全文数据库 前10条
1 学位办;研究生院奖励优秀博士学位论文[N];中国社会科学院院报;2008年
2 田红 记者 胥茜;论文无创新 一票能否决[N];中国教育报;2005年
3 王握文周珞晶 吴丹;11篇全国优秀博士学位论文的启示[N];科技日报;2008年
4 ;关于建立高校毕业生就业见习制度的通知[N];中国人事报;2006年
5 本报记者  潘继红;亚航展有望成为全球最大民用航空工业展会[N];国际商报;2007年
6 任征 文伟;国防电子展搭建贸易良好平台[N];中国贸易报;2006年
7 蒙志军;加快创新步伐 提供科技支撑[N];湖南日报;2007年
8 证券时报记者 李坤李沫;江苏三友参与北斗系统产品研发[N];证券时报;2007年
9 廖文根;779个项目荣获国防科技奖[N];人民日报;2007年
10 本报记者 刘立红;点亮和谐家园的明灯[N];中国老年报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978