第1章 绪论 1
1.1 人工智能的定义与发展 1
1.2 人类智能与人工智能 3
1.2.1 智能信息处理系统的假设 3
1.2.2 人类智能的计算机模拟 5
1.3 人工智能各学派的认知观 6
1.4 人工智能的研究与应用领域 8
1.4.1 智能感知 8
1.4.2 智能推理 11
1.4.3 智能学习 14
1.4.4 智能行动 16
1.5 未来50年的人工智能问题 21
习题 24
2.1.1 知识和知识表示 25
2.1 概述 25
第2章 知识表示和推理 25
2.1.2 知识-策略-智能 27
2.1.3 人工智能对知识表示方法的要求 28
2.1.4 知识的分类 28
2.1.5 知识表示语言问题 29
2.1.6 现代逻辑学的基本研究方法 30
2.2 命题逻辑 32
2.2.1 语法 33
2.2.2 语义 33
2.2.3 命题演算形式系统PC 35
2.3 谓词逻辑 36
2.3.1 语法 37
2.3.2 语义 39
2.3.3 谓词逻辑形式系统FC 41
2.3.4 一阶谓词逻辑的应用 43
2.4.1 命题演算中的归结推理 44
2.4 归结推理 44
2.4.2 谓词演算中的归结推理 48
2.4.3 谓词演算归结反演的合理性和完备性 56
2.5 产生式系统 60
2.5.1 产生式系统的组成部分 61
2.5.2 产生式系统的基本过程 65
2.5.3 产生式系统的控制策略 66
2.6 知识表示的其他方法 68
2.6.1 语义网络 68
2.6.2 框架 74
2.6.3 面向对象 77
2.7 基于知识的系统 80
2.7.1 知识获取 80
2.7.2 知识组织 83
2.8 小结 84
2.7.3 知识应用 84
习题 85
第3章 搜索技术 91
3.1 引言 91
3.2 盲目搜索方法 93
3.2.1 宽度优先搜索 93
3.2.2 深度优先搜索 95
3.2.3 迭代加深搜索 96
3.3.1 启发性信息和评估函数 97
3.3 启发式搜索 97
3.3.2 最好优先搜索算法 98
3.3.3 通用图搜索算法 99
3.3.4 A算法 102
3.3.5 迭代加深A算法 106
3.4 问题归约和AND-OR图启发式搜索 107
3.4.1 问题归约的描述 107
3.4.2 AND-OR图表示 107
3.4.3 AO算法 109
3.5 博弈 113
3.5.1 极大极小过程 115
3.5.2 α-β过程 117
3.6 约束满足搜索 119
3.7 小结 122
习题 123
第4章 高级搜索 124
4.1 爬山法搜索 124
4.2 模拟退火搜索 127
4.2.1 模拟退火搜索的基本思想 127
4.2.2 模拟退火算法 128
4.2.3 模拟退火算法关键参数和操作的设计 129
4.2.4 模拟退火算法的改进 131
4.3 遗传算法 132
4.3.1 遗传算法的基本思想 133
4.3.2 遗传算法的基本操作 135
4.3.3 遗传算法的应用情况 139
习题 141
第5章 不确定知识表示和推理 142
5.1 概述 142
5.1.1 什么是不确定推理 142
5.1.2 不确定推理要解决的基本问题 143
5.1.3 不确定性推理方法分类 145
5.2 非单调逻辑 146
5.2.1 单调性与非单调性 146
5.2.2 非单调逻辑的产生 146
5.2.3 缺省推理逻辑 147
5.2.4 非单调逻辑系统 151
5.3 主观Bayes方法 153
5.3.1 全概率公式和Bayes公式 154
5.3.2 主观Bayes方法 155
5.4 确定性理论 160
5.4.1 建造医学专家系统中的问题 161
5.4.2 C-F模型 162
5.5 证据理论 166
5.5.1 假设的不确定性 167
5.5.2 证据的不确定性 169
5.5.3 证据的组合函数 169
5.5.4 规则的不确定性 170
5.5.5 不确定性的传递 170
5.5.6 不确定性的组合 171
5.6 模糊逻辑和模糊推理 173
5.6.1 模糊集合及其运算 173
5.6.2 模糊关系 175
5.6.3 语言变量 176
5.6.4 模糊逻辑 176
5.6.5 模糊推理 177
5.7 小结 181
习题 182
第6章 Agent 184
6.1 概述 184
6.2 Agent及其结构 186
6.2.1 Agent要素及特性 186
6.2.2 Agent的结构特点 188
6.2.3 Agent的结构分类 189
6.3 Agent通信 192
6.3.1 通信方式 192
6.3.2 Agent通信语言KQML 193
6.3.3 SACL语言 196
6.4 协调与协作 199
6.4.1 引言 199
6.4.2 合同网 202
6.4.3 协作规划 204
6.5 移动Agent 207
6.5.1 引言 208
6.5.2 定义和系统组成 211
6.5.3 实现技术 212
6.5.4 技术优势 221
6.6 基于Agent的系统及其应用 223
6.6.1 移动Agent系统 223
6.6.2 移动Agent技术的应用 225
6.6.3 多Agent系统的应用 227
6.7 小结 228
习题 228
第7章 自然语言处理技术 230
7.1 自然语言理解的一般问题 230
7.1.1 自然语言理解的概念及意义 230
7.1.2 自然语言理解研究的发展 231
7.2 词法分析 233
7.1.3 自然语言理解的层次 233
7.3 句法分析 234
7.3.1 短语结构文法和Chomsky文法体系 235
7.3.2 句法分析树 237
7.3.3 转移网络 238
7.4 语义分析 239
7.4.1 语义文法 239
7.4.2 格文法 240
7.5 大规模真实文本的处理 242
7.5.1 语料库语言学及其特点 242
7.5.2 统计学方法的应用及所面临的问题 244
7.5.3 汉语语料库加工的基本方法 244
7.6 信息搜索 247
7.6.1 信息搜索概述 247
7.6.2 搜索引擎 248
7.6.3 智能搜索引擎 252
7.7.1 机译系统概述 258
7.7 机器翻译 258
7.7.2 机器翻译理论与方法 260
7.8 自动文摘 262
7.9 语音识别 263
7.9.1 组成单词读音的基本单元 264
7.9.2 信号处理 264
7.9.3 识别 266
7.9.4 隐马尔可夫模型 267
7.10 小结 269
习题 269
第8章 机器学习和神经网络 271
8.1 机器学习概述 271
8.1.1 学习中的元素 272
8.1.2 目标函数的表示 273
8.1.3 学习任务的类型 275
8.1.4 机器学习的定义和发展史 276
8.1.5 机器学习的主要策略 277
8.1.6 机器学习系统的基本结构 278
8.2 经典机器学习方法 279
8.2.1 机械学习 279
8.2.2 归纳学习 281
8.2.3 类比学习 284
8.2.4 解释学习 286
8.3 基于神经网络的学习 289
8.3.1 神经网络概述 289
8.3.2 基于反向传播网络的学习 294
8.3.3 Hopfield网络模型 306
8.4 知识发现 311
8.4.1 知识发现的处理过程 312
8.4.2 知识发现的方法 313
8.4.3 知识发现的应用 315
8.5 小结 316
习题 317
第9章 智能规划 320
9.1 规划问题与实例 320
9.1.1 规划问题及其描述语言 320
9.1.2 规划问题实例 323
9.2 状态空间搜索规划 326
9.2.1 前向状态空间搜索 326
9.2.2 后向状态空间搜索 327
9.2.3 状态空间搜索的启发式 328
9.3 偏序规划 329
9.3.1 偏序规划的描述 329
9.3.2 偏序规划的实例 332
9.3.3 无约束变量的偏序规划 334
9.3.4 启发式偏序规划 335
9.4 命题逻辑规划 335
9.5 分层任务网络规划 338
9.6 非确定性规划 340
9.7 多Agent规划 342
9.7.1 合作：联合目标和规划 343
9.7.2 多Agent规划 343
9.7.3 协调机制 345
9.7.4 竞争 346
习题 346
第10章 机器人学 347
10.1 概述 347
10.1.1 机器人的由来 347
10.1.2 机器人的定义 348
10.1.3 机器人的分类 350
10.1.4 机器人的特性 350
10.1.5 机器人的发展概况 351
10.1.6 机器人学的形成 353
10.2.1 机器人系统的组成 354
10.2 机器人系统 354
10.1.7 机器人学的研究领域 354
10.2.2 机器人系统的几个重要概念 356
10.3 机器人的编程模式与语言 359
10.4 机器人的社会问题 362
习题 362
附录A Turbo Prolog核心机制 363
A.1 逻辑型程序设计语言Prolog 364
A.1.1 Prolog语句 364
A.1.2 Prolog程序 365
A.1.3 Prolog程序运行机理 366
A.2 Turbo Prolog程序设计 368
A.2.1 程序结构 368
A.2.2 数据与表达式 370
A.2.3 输入与输出 374
A.2.4 分支与循环 375
A.2.6 表处理与递归 376
A.2.5 动态数据库 376
A.2.7 回溯控制 379
附录B Visual Prolog编程环境 380
B.1 Visual Prolog概述 380
B.2 系统安装 381
B.2.1 安装环境 381
B.2.2 安装步骤 381
B.3 编程初步 381
B.3.1 测试目标 381
B.3.2 应用程序专家 382
B.3.3 了解默认应用程序所生成的代码 383
B.4 编写第一个应用程序Hello World 384
B.4.1 调用菜单编辑器修改菜单 385
B.4.2 使用对话框与窗口专家 386
B.5 VP调试器 389
参考文献 391