本体修正

论文摘要

一个本体是本体系统中的一个理论,其中,本体系统包括本体系统语言和推理规则.本体中的类和个体通过类和类之间子类关系,以及类和个体之间的实例关系而分层的组织起来以形成本体的主要结构.通过子类关系和实例关系,我们可以实施超类和子类,以及类和个体之间的(缺省)继承.为了方便讨论,我们假定本体是树型结构.本体中有四个层次的断言:个体上的断言,类上的断言,类槽上的断言和槽上的断言.我们通过槽来对类中的个体进行描述,并且通过子槽来对用槽描述类中个体时应该满足的值限制,以及用类槽中槽描述该类槽中类时应该满足的特殊的值限制进行刻画.根据在同一层次上的断言之间,以及不同层次的断言之间进行推理的特性,我们对本体的推理机制,本体的协调性,以及本体的缺省理论进行研究.本体为知识的表示和组织提供了有效的方法.在本体的发展过程中所遇到的困难之一就是如何维护经常处于变化之中的本体.在构建和维护本体的过程中,当新的知识被增加到本体中时,可能会出现不协调,因此,我们需要对本体进行修正以保证在增加新的知识的同时维护本体的协调性.本体修正是为了接纳可能与本体不协调的断言而对本体进行修改的过程.本体修正有两种类型:本体集修正和本体基修正,其中,本体集是在推演规则下封闭的断言集合;而本体基是在推演规则下不一定封闭的断言集合.本文只讨论基于本体基的本体修正.在本体修正中,本体具有树型结构,并且本体中同一层次上的断言和不同层次上断言之间有一定的逻辑关系.因此,我们可以给出除了满足成功原则,协调原则和最小改变原则之外的其它的本体修正假定,如:对本体中的断言之间的优先序的假定,以保证修正后得到本体满足本体的结构特性.这样,根据本体修正应该满足的假定,我们能够在众多的本体修正方法中找到一个合适的修正.为了满足本体修正假定,本体修正函数不仅要删除导致与修正断言不协调的断言;还要增加一些除了修正断言之外的新的断言到修正后的本体中.另外,当从本体中删除的导致与修正断言不协调的断言是槽或者类槽上的断言时,我们对这些断言进行修改,并且将修改后得到的新的断言增加到修正后得到的本体中.现有的信念修正研究方法是给出一组信念修正函数应该满足的假定(条件),如:著名的AGM公理和DP公理.类似于信念修正,基于本体修正的假定,我们也是通过给出一组本体修正函数应该满足的公理来对本体修正进行研究的,并且基于此公理系统给出具体的本体修正算子.为了对本文的本体修正和信念修正进行形式的比较和分析,我们给出了本体系统到基于一阶逻辑的缺省理论的转换,并且对该转换函数的特性进行分析.根据本体的层次结构特性和推理机制,我们将本体的逻辑闭包,而不是本体,转换为基于一阶逻辑的缺省理论.基于本体的逻辑闭包到缺省理论的转换和本体修正算子,我们定义了对该缺省理

论文目录

• 中文摘要
• 英文摘要
• 目录
• 第一章 引 言
• 1.1 本体
• 1.1.1 相关工作
• 1.1.1.1 本体和知识表示
• 1.1.1.2 本体的组成部分以及各部分的特性
• 1.1.1.3 本体表示语言
• 1.1.1.4 本体表示语言的比较
• 1.1.2 本文中的本体
• 1.1.2.1 本体系统的语言
• 1.1.2.2 本体系统的推理规则
• 1.1.2.3 本体的协调性和本体的缺省理论
• 1.1.2.4 本体的特点
• 1.2 信念修正
• 1.2.1 基本原则和信念修正模式
• 1.2.2 信念集和信念基
• 1.2.3 信念修正方法
• 1.3 本体修正
• 1.3.1 相关工作
• 1.3.2 本文中的本体修正
• 1.3.2.1 本体修正的假定和公理系统
• 1.3.2.2 本体修正算子
• 1.3.2.3 本体修正的特点
• 1.3.3 本文的本体修正和信念修正的形式比较
• 1.4 本文的主要结果
• 1.5 本文章节安排
• 第二章 基本知识
• 2.1 缺省逻辑
• 2.2 信念修正
• 2.2.1 AGM公理
• 2.2.2 DP公理
• 2.3 符号
• 第三章 本体
• 3.1 一个本体的示例
• 3.1.1 示例本体
• 3.1.2 示例本体的描述
• 3.2 本体的本体论假设
• 3.3 本体系统表示语言
• 3.3.1 本体系统的语言中的基本对象
• 3.3.1.1 类和个体
• 3.3.1.2 侧面
• 3.3.1.3 槽和类槽
• 3.3.1.4 子槽
• 3.3.2 本体系统的语言中的框架
• 3.3.2.1 类框架
• 3.3.2.2 个体框架
• 3.3.2.3 槽框架
• 3.3.2.4 类槽框架
• 3.3.3 本体的定义
• 3.4 本体系统中的推理规则
• 3.4.1 逻辑规则
• 3.4.1.1 传递规则
• 3.4.1.2 逆规则
• 3.4.1.3 弱化规则
• 3.4.1.4 超类和子类之间的继承规则
• 3.4.1.5 超类和子类之间的缺省继承规则
• 3.4.1.6 类和个体之间的继承规则
• 3.4.1.7 类和个体之间的缺省继承规则
• 3.4.2 与内置符号相关的规则
• 3.4.2.1 槽上的断言之间的约束规则
• 3.4.2.2 类槽上的断言之间的约束规则
• 3.4.2.3 槽上的断言与类槽上的断言之间的约束规则
• 3.4.2.4 类槽上的断言与类上的断言之间的值限制规则
• 3.4.2.5 类槽上的断言与个体上的断言之间的值限制规则
• 3.4.2.6 槽上的断言与类上的断言之间的值限制规则
• 3.4.2.7 槽上的断言与个体上的断言之间的值限制规则
• 3.4.3 本体的逻辑结论和逻辑闭包
• 3.5 本体的协调性
• 3.5.1 本体的协调性
• 3.5.2 本体的逻辑闭包的协调性
• 3.5.2.1 槽上的断言之间和类槽上的槽断言之间的典型冲突
• 3.5.2.2 类上的断言之间和个体上的断言之间的典型冲突
• 3.5.2.3 槽上的断言和类槽上的断言之间的典型冲突
• 3.5.2.4 类槽上的断言与类上的断言之间的典型冲突
• 3.5.2.5 类槽上的断言和个体上的断言之间的典型冲突
• 3.5.2.6 个体上的断言和类上的断言之间的典型冲突
• 3.5.2.7 槽上的断言与类上的断言之间的典型冲突
• 3.5.2.8 槽上的断言与个体上的断言之间的典型冲突
• 3.6 本体系统的缺省理论
• 第四章 本体修正
• 4.1 一个本体修正的示例
• 4.1.1 一个示例本体
• 4.1.2 示例本体的修正
• 4.1.3 对示例本体的修正方法的比较
• 4.1.4 信念修正与本体修正的差异
• 4.1.4.1 对示例本体的信念修正
• 4.1.4.2 对示例本体的信念修正和本体修正的比较
• 4.2 本体修正的假定
• 4.2.1 本体修正假定的描述
• 4.2.2 本体修正的假定
• 4.3 本体修正的公理
• 4.4 本体与修正断言的协调性
• 4.4.1 本体与修正断言协调的情况
• 4.4.2 本体与修正断言不协调的情况
• 4.4.2.1 本体和直接超类断言之间的不协调
• 4.4.2.2 本体与确定槽值断言之间的不协调
• 4.4.2.3 本体与直接实例断言之间的不协调
• 4.4.2.4 本体与否定的直接超类断言, 直接实例断言或者确定槽值断言之间的不协调
• 4.5 本体修正中的重新分类
• 4.5.1 两个类之间有子类关系时的重新分类
• 4.5.2 两个类之间无子类关系时的重新分类
• 4.5.3 重新分类的示例
• 4.6 本体修正算子?
• 第五章 本体修正与信念修正的比较
• 5.1 缺省逻辑
• 5.2 本体系统与缺省逻辑的比较
• 5.3 本体系统到缺省逻辑的转换
• 5.3.1 本体系统的语言到缺省逻辑的转换
• 5.3.1.1 个体上的断言到缺省逻辑的转换
• 5.3.1.2 类上的断言到缺省逻辑的转换
• 5.3.1.3 类槽上的断言到缺省逻辑的转换
• 5.3.1.4 槽上的断言到缺省逻辑的转换
• 5.3.2 本体的逻辑闭包到缺省逻辑的转换
• 5.4 本体系统到缺省逻辑的转换函数的特性
• 5.5 信念修正和本体修正的比较
• 5.5.1 形式比较
• 5.5.2 案例分析
• 第六章 结论与未来工作
• 6.1 本文工作总结
• 6.2 存在的问题和未来工作
• 参考文献
• 致谢
• 作者简历