框架网络本体下的智能推理引擎探讨

论文摘要

传统的信息检索对海量信息资源的挖掘深度非常有限,不能满足用户在语义知识上的需求,主要原因是描述格式不同的信息资源之间可能存在着某种语义联系,但这种语义联系无法用现有的信息描述方式表述出来。语义网可以将信息的可读性扩充至计算机能够理解的层次,其中本体作为形式化的共享概念被提出后,因其拥有良好的概念层次结构及语义表达能力,并通过对概念及概念之间的关系来确定其精准含义,表示共同认可的共享知识,而受到很多领域专家及学者们的认可。因而在信息检索过程中使用本体,就能弥补传统信息检索方法的不足。进而基于本体的推理检索技术研究逐步被重视起来。本文通过研究目前国外本体推理机理论与应用方面的进展,结合以本体论为核心的基于框架网络本体的特点,提出了基于erlang语言研发的本体推理机eresye在自定义推理规则方面的优势。文章首先介绍了本体推理机eresye的理论基础,进而在框架网络本体的基础上,结合eresye推理机的特点设计出一个程序实例,体现了如何表达框架及其关系和框架元素及其关系,如何自定义推理规则,添加、删除、修改规则,如何定义规则优先级及激活规则的过程,并通过程序的运行,展示了对框架网络本体文本信息的推理检索结果。本文的创新之处为：通过对基于erlang语言的eresye本体推理机的完善,使其能够更加动态地与外部程序集成在一起,当外部程序发生变动时,并不需要对推理机本身进行修改。由于其是直接利用erlang语言的结构(函数和数据类型)来表现事实和规则的,因而其能更加准确地体现框架网络本体下的框架、框架元素关系,更加灵活地自定义推理规则,进而扩展了框架网络本体的语义表达及处理能力。

论文目录

• 中文摘要
• Abstract
• 第一章 绪论
• 1.1 本体及owl语言在推理方面的作用
• 1.2 推理机的起源与发展
• 1.3 本体推理机的理论基础及研究现状
• 1.3.1 本体推理技术
• 1.3.2 本体推理机的功能、结构及分类
• 1.3.3 本体推理机的研究现状
• 1.4 论文研究内容及创新点
• 第二章 框架网络本体
• 2.1 框架网络本体的特点
• 2.2 框架网络本体的结构
• 2.2.1 框架及框架关系
• 2.2.2 框架元素及其关系
• 2.2.3 词元
• 2.2.4 语义类型
• 2.2.5 例句及语料
• 第三章 基于erlang语言的本体推理机eresye
• 3.1 Erlang语言介绍
• 3.2 CLIPS工具和RETE算法概览
• 3.2.1 CLIPS工具介绍
• 3.2.2 CLIPS工具与外部程序的整合
• 3.2.3 RETE算法介绍
• 3.3 Eresye介绍
• 3.3.1 Eresye的结构
• 3.3.2 ERESYE和RETE算法的关系
• 3.3.3 Eresye中如何使用本体
• 3.3.4 ERESYE推理引擎作为协调介质的作用
• 3.4 Eresye的示例
• 3.5 ERESYE和CLIPS的比较
• 3.6 本章小结
• 第四章 框架网络本体下eresye推理机的程序实例
• 4.1 Crime-sample程序实例的构成
• 4.2 添加、删除、修改规则
• 4.3 定义规则的优先级
• 4.4 程序实例的运行演示
• 4.4.1 以crime-test程序为例进行演示
• 4.4.2 以crime-sample程序为例进行演示
• 第五章 总结及展望
• 5.1 总结
• 5.2 展望
• 参考文献
• 攻读学位期间取得的研究成果
• 致谢
• 个人简况及联系方式