人工智能
类型
可以朗读
语音朗读
102千字
字数
2017-10-01
发行日期
展开全部
主编推荐语
提出本体一致性推理方法及演化算法。
内容简介
（1）提出一种基于Alloy的本体一致性非标准推理方法。（2）提出一种改进的基于SAT的本体一致性非标准推理方法。（3）提出开放环境下本体演化变更序列的冲突检测算法。（4）提出开放环境下本体演化变更序列语义冲突诊断算法。（5）提出一种具有变化冲突诊断与消解能力的本体演化框架。（6）提出一种基于概念格的本体版本差异检测算法。
目录
- 封面
- 扉页
- 版权信息
- 目录
- 内容提要
- 前言
- 第1章 绪论
- 1.1 背景知识
- 1.2 国内外相关研究
- 1.2.1 本体演化及其过程
- 1.2.2 开放环境下本体演化研究的现状
- 1.3 当前存在的问题
- 1.4 本书内容组织
- 第2章 本体演化技术概述
- 2.1 描述逻辑与本体
- 2.2 OWL语言的逻辑基础
- 2.3 本体推理任务
- 2.4 本体演化方法
- 2.5 本章小结
- 第3章 基于Alloy的本体推理
- 3.1 背景知识
- 3.2 Alloy语言
- 3.3 OWL到Alloy转换过程
- 3.3.1 解析过程
- 3.3.2 生成Alloy模型
- 3.3.3 实例分析
- 3.4 Alloy Analyzer支持的OWL本体推理
- 3.4.1 基于Alloy的TBox推理
- 3.4.2 基于Alloy的ABox推理
- 3.5 实验数据对比
- 3.6 本章小结
- 第4章 改进的基于SAT的本体推理
- 4.1 引言
- 4.2 基于SAT的本体一致性检测框架
- 4.3 中间语言定义
- 4.3.1 本体可满足性问题
- 4.3.2 中间语言定义
- 4.3.3 抽象语法
- 4.3.4 语义
- 4.4 OWL语言与中间语言之间的转换规则
- 4.5 实例分析
- 4.6 实验对比分析
- 4.7 极小不可满足子句集MU提取
- 4.8 本章小结
- 第5章 本体演化变更序列的冲突检测算法
- 5.1 引言
- 5.2 基本概念
- 5.3 冲突定义及检测
- 5.3.1 内部冲突
- 5.3.2 直接冲突
- 5.3.3 不一致冲突
- 5.4 实验分析
- 5.5 本章小结
- 第6章 开放环境下本体演化变更序列语义冲突检测算法
- 6.1 引言
- 6.2 冲突变更序列矩阵模型
- 6.3 求解最小碰集序列
- 6.4 最小碰集概率排序
- 6.5 实例分析
- 6.6 本章小结
- 第7章 基于概念格的本体版本差异检测方法
- 7.1 引言
- 7.2 概念格模型与版本格
- 7.2.1 概念格相关概念
- 7.2.2 版本空间与版本格
- 7.3 基于版本格的版本差异检测算法
- 7.3.1 无参差异检测
- 7.3.2 有参差异检测
- 7.4 相关工作
- 7.5 本章小结
- 第8章 开放环境下本体演化原型系统的设计与实现
- 8.1 开放环境下本体演化原型系统架构
- 8.2 非标准推理模块
- 8.3 冲突检测模块
- 8.4 语义冲突诊断模块
- 8.5 版本差异检测器
- 8.6 本章小结
- 参考文献
展开全部
评分及书评
尚无评分
目前还没人评分
出版方
人民邮电出版社
人民邮电出版社是工业和信息化部主管的大型专业出版社，成立于1953年10月1日。人民邮电出版社坚持“立足信息产业、面向现代社会、传播科学知识、服务科教兴国”，致力于通信、计算机、电子技术、教材、少儿、经管、摄影、集邮、旅游、心理学等领域的专业图书出版。
