第一章 绪论 1
1.1 人工智能研究的发展 1
1.2 人工智能应用研究的发展趋势 5
1.3 基于知识的软件智能化技术 7
1.3.1 知识处理技术的深化 7
1.3.2 对KB系统现状的反思 9
1.3.3 软件智能化实践 11
1.3.4 开发人工智能高级技术 13
本章小结 17
习题 17
参考文献 18
第二章 基于知识的问题求解 19
2.1 知识表示 19
2.2 问题求解 26
2.2.1 问题求解的基本方法 26
2.2.2 问题求解的组织 36
2.3 KB系统 39
2.3.1 KB系统的一般概念 39
2.3.2 知识获取和KB系统开发 41
2.3.3 KB系统开发工具和环境 43
2.4 知识级分析 44
2.4.1 表示和知识 44
2.4.2 计算机系统的功能分级 45
2.4.3 知识级 46
2.4.4 知识级细节 46
2.4.5 结论 49
2.5 符号推理的高级技术 50
2.5.1 基于假设的推理 50
2.5.2 从属和辩证 51
2.5.3 约束满足 52
2.5.4 元推理 53
本章小结 54
习题 57
参考文献 58
第三章 KB系统的高级技术 59
3.1 开发的必要性 59
3.2 定性物理方法 60
3.2.1 定性演算 61
3.2.2 用定性演算推理行为 65
3.2.3 典型的定性物理方法 69
3.3 基于模型的推理（MBR） 69
3.3.1 因果建模 70
3.3.2 不精确模型 73
3.4 深、浅层推理的综合 75
3.4.1 一个实例——动态系统的适应性多级诊断建模 77
3.4.2 综合深、浅层推理的技术 81
3.5 问题求解的结构化模型 83
3.5.1 问题求解建模 83
3.5.2 知识获取工具的开发工具 87
3.6 功能化体系结构 88
3.6.1 常见任务 88
3.6.2 诊断推理中的常见任务举例 89
3.6.3 常见任务工具集 90
3.6.4 功能化体系结构方式的评价 90
3.7 知识级问题求解建模 91
3.7.1 知识获取观点 92
3.7.2 中间模型 94
3.7.3 专门知识建模 96
3.7.4 可重用的专门知识元素 103
3.7.5 知识变异 103
3.7.6 结构保留设计 104
3.7.7 知识获取过程 105
3.7.8 结论 105
本章小结 106
习题 109
参考文献 111
第四章 非单调推理和软计算 113
4.1 传统逻辑系统的局限性 113
4.2 非单调推理 114
4.2.1 非单调推理简介 115
4.2.2 非单调推理的形式化方法 117
4.2.3 真值维持系统 123
4.2.4 约束满足问题 131
4.3 不确定推理 138
4.3.1 主观Bayes方法 138
4.3.2 确定性方法 144
4.3.3 D-S证据理论 148
4.3.4 应用不确定推理的准则 153
4.4 模糊逻辑和模糊推理 153
4.4.1 模糊逻辑 154
4.4.2 模糊推理 156
4.4.3 模糊控制 160
4.4.4 应用模糊逻辑时的问题 163
4.5 神经网络 163
4.5.1 神经元和神经网络 164
4.5.2 面向映射变换的BP网 166
4.5.3 面向联想记忆的神经网络 170
4.5.4 神经网络的实现技术 175
本章小结 178
习题 181
参考文献 185
第五章 基于范例的推理 187
5.1 基于范例的推理系统 187
5.1.1 研究动机 187
5.1.2 CBR系统分类 188
5.1.3 应用例——基于范例的服务调度 190
5.2 范例表示和索引 192
5.2.1 范例的内容 192
5.2.2 范例索引 193
5.3 检索、改编和辩证 196
5.3.1 范例检索和存储更新 196
5.3.2 解答改编 197
5.3.3 解答辩证 199
5.4 基于范例的学习 199
5.4.1 学习方式 200
5.4.2 学习方法的比较 200
5.5 基于范例的推理应用 201
5.5.1 某些CBR应用系统 201
5.5.2 集成CBR和其他信息处理技术 201
5.6 结论 204
本章小结 204
习题 206
参考文献 207
第六章 关于时间和空间的推理 208
6.1 伴有时间的推理 208
6.1.1 时间和逻辑 209
6.1.2 时间概念及其表示 210
6.1.3 实现伴有时间的推理 211
6.1.4 基于时态逻辑的RWT理论框架 212
6.2 时间的不确定性和分支 215
6.2.1 关于事件时间的不完全知识 215
6.2.2 时间分支 219
6.3 关于空间的推理 220
6.3.1 空间概念及其表示 220
6.3.2 空间搜索 221
6.3.3 多层次空间表示 224
6.4 关于形状的推理 226
6.5 时空推理小结 227
本章小结 229
习题 230
参考文献 231
第七章 机器学习研究与应用的新进展 232
7.1 贝叶斯网络 233
7.1.1 贝叶斯网络的定义 233
7.1.2 贝叶斯网络的语义 234
7.1.3 贝叶斯网络中的推理 237
7.1.4 贝叶斯网络的学习 240
7.2 隐马尔可夫模型 244
7.2.1 马尔可夫链 245
7.2.2 隐马尔可夫模型的定义 245
7.2.3 隐马尔可夫模型的基本算法 246
7.2.4 学习算法EM 248
7.3 统计学习理论 248
7.3.1 小样本统计学理论 249
7.3.2 支持向量机 251
7.3.3 支持向量机的应用研究 256
7.4 粗糙集理论 256
7.4.1 粗糙集理论的基本概念 257
7.4.2 决策表约简 259
7.4.3 决策规则的挖掘 262
7.5 聚类分析 263
7.5.1 聚类分析的预处理 264
7.5.2 聚类方法的分类 265
7.5.3 基于划分的k-平均和k-中心点算法 266
7.6 复杂类型数据的挖掘 268
7.6.1 空间数据挖掘 268
7.6.2 图像数据挖掘 269
7.6.3 时序数据挖掘 271
7.6.4 文本数据挖掘 273
7.6.5 Web挖掘 275
本章小结 278
习题 281
参考文献 285
第八章 Agent技术和信息基础设施智能化 287
8.1 Agent技术的研究和发展 288
8.1.1 Agent技术的形成 288
8.1.2 Agent的基本特征 289
8.1.3 Agent技术的研究现状 290
8.1.4 Agent分类概观 294
8.2 多Agent协作 296
8.2.1 合作型Agent体系结构ARCHON 296
8.2.2 多Agent协作的建立 298
8.2.3 合作的协调 307
8.2.4 Agent社会 320
8.3 Agent通信 323
8.3.1 信息和知识共享 324
8.3.2 Agent交互协议 328
8.3.3 通信促进服务 331
8.4 信息基础设施的智能化 334
8.4.1 技术挑战 334
8.4.2 智能系统的作用 336
8.4.3 虚拟组织的信息基础设施 340
本章小结 346
习题 350
参考文献 352
第九章 新一代网络计算的技术基础及其智能化 355
9.1 新一代网络计算技术概述 356
9.1.1 语义Web 357
9.1.2 网格计算 358
9.1.3 自治计算 361
9.2 语义Web的实现技术和本体工程 363
9.2.1 语义Web的实现技术 363
9.2.2 基于本体的知识系统 376
9.3 网格计算的技术基础 390
9.3.1 支持可伸缩虚拟组织的网格体系结构 390
9.3.2 开放的网格服务体系结构 393
9.3.3 网格计算的基础设施 402
9.3.4 网格计算技术的新进展 404
9.4 自治计算的技术基础 411
9.4.1 自治计算的开发 411
9.4.2 基于政策的自主管理 422
9.4.3 支持Agent社交活动的方法体系 435
本章小结 452
习题 455
参考文献 457