目录
前言
第1章 语言与语义 1
1.1 语言的本质 1
1.1.1 语言所表述的内容分析 1
1.1.2 如何用语言表述内容 2
1.1.3 机器是否也可以像人一样拥有这样的知识系统 4
1.1.4 语言对人类进步的巨大贡献 5
1.2 语义分析 6
1.2.1 词汇、语句与篇章 6
1.2.2 符号与语义 8
第2章 论概念 12
2.1 概念的实质 12
2.2 按照对象类型的概念分类 13
2.3 实物概念和虚物概念的组成 15
2.4 实物概念的形式化表示 16
2.4.1 用框架方法表示实物概念 16
2.4.2 用一阶谓词表示实物概念和实物 26
第3章 形式概念分析 29
3.1 形式概念分析的理论基础 29
3.1.1 对象、属性与形式背景 29
3.1.2 概念与概念格 30
3.1.3 将多值形式背景转换为布尔值形式背景 31
3.2 概念格的生成 32
3.2.1 批生成算法 33
3.2.2 渐进式生成算法 33
3.2.3 概念格的合并运算 34
3.2.4 概念格的交运算 37
3.2.5 概念格的运算定律 39
3.3 形式事件分析 40
3.3.1 形式概念分析的扩展 40
3.3.2 形式事件 42
3.4 模糊概念格 44
3.4.1 一种模糊概念格模型 44
3.4.2 模糊概念格的构造 45
3.4.3 模糊概念格的粒性质 48
第4章 本体研究现状与分析 49
4.1 本体的实质与意义 49
4.2 本体介绍 50
4.2.1 基于自然语言词汇的本体 51
4.2.2 基于概念的本体 52
4.2.3 基于事件的本体 54
4.3 现有本体研究的对比分析 57
4.3.1 基于词汇的本体分析 57
4.3.2 基于概念的本体分析 57
4.3.3 基于事件的本体分析 59
第5章 事件与事件类形式规范表示 61
5.1 本体的形式化表示方法概述 61
5.1.1 传统本体的形式化表示方法概述 61
5.1.2 事件的形式化表示方法概述 62
5.2 事件的定义与表示 63
5.3 事件类的定义与表示 65
5.4 意念事件 70
5.5 事件类之间的关系 73
5.5.1 分类关系 73
5.5.2 非分类关系 74
5.6 事件类实例化 74
5.7 事件与事件类形式化方法的意义 76
第6章 文本事件语义映射 78
6.1 文本语义映射举例 78
6.2 文本语义映射例子分析 96
6.2.1 例子中的事件和叙真统计分析 96
6.2.2 例子中的叙真分类 97
第7章 文本中事件语言表现形式识别 100
7.1 文本中事件语言表现语料库 100
7.1.1 中文事件的可标注性研究 100
7.1.2 中文事件语料库的制作 102
7.1.3 指代关系语料库的构建 106
7.2 文本中的事件识别 111
7.2.1 基于多种特征融合的事件识别方法 111
7.2.2 基于依存语法树频繁子树的事件识别 114
7.2.3 基于深度学习的事件识别方法 116
7.3 文本中的事件要素识别 122
7.3.1 基于半监督聚类和特征加权的事件要素识别 122
7.3.2 基于依存语法树频繁子树的事件要素抽取 125
7.3.3 深度学习的文本事件对象要素识别 128
7.4 文本中基于事件的指代消解 132
7.4.1 消解模型 132
7.4.2 事件的指代消解的实现 133
第8章 一个高度规范的事件类领域：计算机程序 136
8.1 结构程序 136
8.1.1 真程序、素程序和复合程序 137
8.1.2 程序映射 138
8.1.3 程序映射的等价代换 139
8.2 读结构程序 140
8.2.1 读素程序 140
8.2.2 逐步抽象阅读 141
8.3 Hoare的公理化方法 144
8.3.1 归纳表达式 144
8.3.2 验证规则定理 145
8.4 逐步求精开发程序 147
8.4.1 逐步求精方法 147
8.4.2 非递归程序的逐步求精开发 147
8.4.3 递归程序逐步求精开发 150
8.5 分析 158
第9章 事件本体 159
9.1 事件本体结构 159
9.2 事件类层次结构 160
9.2.1 事件类分类关系层次结构 160
9.2.2 事件类非分类关系网状结构 161
9.3 事件本体构建方法及工具 162
9.3.1 事件本体构建方法 163
9.3.2 事件本体构建平台 164
9.4 典型事件本体的构建 168
9.4.1 事件本体构建的基础工作 168
9.4.2 事件本体逻辑描述语言 169
9.4.3 交通事故事件本体实例 172
9.5 事件本体推理概述 176
9.5.1 事件本体不确定性推理 176
9.5.2 事件本体的三层次推理 178
9.6 事件本体应用概述 180
第10章 基于描述逻辑的事件本体形式化与推理 182
10.1 基于扩展描述逻辑的事件知识表示 183
10.1.1 描述逻辑扩展概述 183
10.1.2 扩展描述逻辑的语法与语义 184
10.2 基于扩展描述逻辑的事件实例化推理 187
10.2.1 事件表述 188
10.2.2 事件实例化推理规则 188
10.2.3 实例分析 191
10.3 基于扩展描述逻辑的事件实例检测 194
10.3.1 事件实例检测相关概述 194
10.3.2 语义补充 194
10.3.3 事件实例检测方法 198
10.4 基于要素投影和扩展描述逻辑的事件本体形式化及推理 200
10.4.1 事件要素投影理论 200
10.4.2 事件本体的形式化方法 204
10.4.3 基于要素投影的事件关系推理 208
10.4.4 事件要素投影中的多元动作要素问题 211
10.5 本章小结 213
参考文献 214
鄂公网安备 42010302001612号 