描述逻辑推理优化技术研究
发布时间：2022-11-03 20:17
网络的出现,极大地改变了人们的生活,丰富了人们的交流方式,增加了人们获取资料的途径,加速了信息的流通,影响了人们的休闲方式,等等,可以说,网络是二十世纪后期以来对人类影响最大的技术之一。但是目前的网页,其表达语言为超文本标记语言,即HTML,在发明之初,是面向人的,即网页的内容通过浏览器,展示给人,这导致其内容不能很好地被机器所理解,影响了网页内容处理的自动化。随着网络信息的急剧增长,人们从海量的信息中有效地获取知识变得困难。 语义网是万维网创始人Tim Borners-Lee提出的下一代网络。通过对网页中的信息增加元数据,以及改善网页的结构等,使得网页中的信息更加规范,从而能够被计算机所自动处理。描述逻辑是语义网的逻辑基础,如果语义网需要对其表达的知识进行推理,发现其中的隐含知识,则需要运用描述逻辑的推理能力。 目前的研究表明,对于普通表达能力的描述逻辑语言ALC来说,其复杂度是pspace-complete,因此,如果不加以优化,很难应用在网络化的环境当中。基于人们在利用现有的搜索引擎时,搜索的结果并不总是正确的,提出了利用近似化来提高描述逻辑的推理效率。 ...
【文章页数】：123 页
【学位级别】：博士
【文章目录】：
摘要
ABSTRACT
目录
插图目录
表目录
第1章 绪论
1.1 引言
1.2 描述逻辑简介
1.2.1 网状结构的知识表示
1.2.2 描述逻辑的内容和发展历史
1.3 近似化推理的基本思想和方法
1.3.1 近似推理的基本思想
1.3.2 近似演绎的几种方法
1.4 现有方法存在的问题
1.5 研究思路与研究内容
1.6 论文组织
第2章 描述逻辑基础
2.1 描述逻辑的语法和语义
2.2 ALC介绍
2.2.1 语法
2.2.2 语义
2.3 TBox推理
2.4 ABox推理
2.5 总结
第3章 基于个体的推理优化
3.1 分类算法
3.1.1 BFM
3.1.2 STM
3.1.3 ETM
3.1.4 CIM
3.2 显示包含计算
3.3 基于ABox的一致性检查和推理过程的优化
3.3.1 ABox的一致性检查
3.3.2 分类优化
3.3.3 算法
3.4 实验结果及分析
3.5 基于本体的模块依赖检测
3.6 总结
第4章 描述逻辑推理近似化
4.1 个体获取的语义计算
4.2 基于概念泛化和窄化的近似计算
4.3 个体获取的近似计算
4.4 推理过程的复杂度估计
4.4.1 TBox推理的复杂度估算
4.4.2 ABox推理的复杂度估算
4.5 基于分区的近似化
4.5.1 分区方法
4.5.2 分布式描述逻辑的近似化
4.6 近似化的修正
4.7 实验
4.7.1 基于语义计算的个体获取
4.7.2 概念包含的近似化计算
4.7.3 基于推理复杂度估算的近似化
4.8 基于本体的制造资源检索
4.9 总结
第5章 查询近似化
5.1 描述逻辑中的查询
5.1.1 查询研究的发展
5.1.2 查询问题的相关定义
5.2 描述逻辑SHOIQ中查询的近似求解
5.3 基于优先级的查询近似化
5.3.1 带优先级的查询树及其遍历
5.3.2 效率分析
5.4 基于概化的查询近似化
5.5 总结
第6章 偏好的OWL表示和推理
6.1 引言
6.2 定性偏好描述语言
6.2.1 分级知识库
6.2.2 基本偏好和偏好算子
6.2.3 偏好语言
6.3 偏好的OWL表示
6.3.1 分级知识库的构造
6.3.2 模型的表示
6.3.3 基本偏好的描述逻辑表示
6.3.4 偏好策略算子
6.3.5 联结算子
6.4 条件偏好
6.5 实例和讨论
6.6 结论
第7章 总结和展望
7.1 论文的主要工作概述
7.1.1 本文的主要工作
7.1.2 本文的创新点
7.2 未来工作展望
参考文献
作者简历及攻读博士学位期间主要的研究成果
致谢
【参考文献】：
期刊论文
[1]偏好推理的逻辑链实现[J]. 张志政,翟玉庆,邢汉承. 软件学报. 2006(12)
[2]网络服务自动化中服务功能匹配研究[J]. 刘晓光,金烨. 计算机集成制造系统. 2006(05)
[3]网络化制造环境中制造资源的智能发现技术研究[J]. 蔡铭,林兰芬,陈刚,董金祥. 计算机集成制造系统-CIMS. 2003(07)
本文编号：3700560
【文章页数】：123 页
【学位级别】：博士
【文章目录】：
摘要
ABSTRACT
目录
插图目录
表目录
第1章 绪论
1.1 引言
1.2 描述逻辑简介
1.2.1 网状结构的知识表示
1.2.2 描述逻辑的内容和发展历史
1.3 近似化推理的基本思想和方法
1.3.1 近似推理的基本思想
1.3.2 近似演绎的几种方法
1.4 现有方法存在的问题
1.5 研究思路与研究内容
1.6 论文组织
第2章 描述逻辑基础
2.1 描述逻辑的语法和语义
2.2 ALC介绍
2.2.1 语法
2.2.2 语义
2.3 TBox推理
2.4 ABox推理
2.5 总结
第3章 基于个体的推理优化
3.1 分类算法
3.1.1 BFM
3.1.2 STM
3.1.3 ETM
3.1.4 CIM
3.2 显示包含计算
3.3 基于ABox的一致性检查和推理过程的优化
3.3.1 ABox的一致性检查
3.3.2 分类优化
3.3.3 算法
3.4 实验结果及分析
3.5 基于本体的模块依赖检测
3.6 总结
第4章 描述逻辑推理近似化
4.1 个体获取的语义计算
4.2 基于概念泛化和窄化的近似计算
4.3 个体获取的近似计算
4.4 推理过程的复杂度估计
4.4.1 TBox推理的复杂度估算
4.4.2 ABox推理的复杂度估算
4.5 基于分区的近似化
4.5.1 分区方法
4.5.2 分布式描述逻辑的近似化
4.6 近似化的修正
4.7 实验
4.7.1 基于语义计算的个体获取
4.7.2 概念包含的近似化计算
4.7.3 基于推理复杂度估算的近似化
4.8 基于本体的制造资源检索
4.9 总结
第5章 查询近似化
5.1 描述逻辑中的查询
5.1.1 查询研究的发展
5.1.2 查询问题的相关定义
5.2 描述逻辑SHOIQ中查询的近似求解
5.3 基于优先级的查询近似化
5.3.1 带优先级的查询树及其遍历
5.3.2 效率分析
5.4 基于概化的查询近似化
5.5 总结
第6章 偏好的OWL表示和推理
6.1 引言
6.2 定性偏好描述语言
6.2.1 分级知识库
6.2.2 基本偏好和偏好算子
6.2.3 偏好语言
6.3 偏好的OWL表示
6.3.1 分级知识库的构造
6.3.2 模型的表示
6.3.3 基本偏好的描述逻辑表示
6.3.4 偏好策略算子
6.3.5 联结算子
6.4 条件偏好
6.5 实例和讨论
6.6 结论
第7章 总结和展望
7.1 论文的主要工作概述
7.1.1 本文的主要工作
7.1.2 本文的创新点
7.2 未来工作展望
参考文献
作者简历及攻读博士学位期间主要的研究成果
致谢
【参考文献】：
期刊论文
[1]偏好推理的逻辑链实现[J]. 张志政,翟玉庆,邢汉承. 软件学报. 2006(12)
[2]网络服务自动化中服务功能匹配研究[J]. 刘晓光,金烨. 计算机集成制造系统. 2006(05)
[3]网络化制造环境中制造资源的智能发现技术研究[J]. 蔡铭,林兰芬,陈刚,董金祥. 计算机集成制造系统-CIMS. 2003(07)
本文编号：3700560
本文链接：https://www.wllwen.com/shekelunwen/ljx/3700560.html
