第一章 概述 1
1 问题的提出 1
1.1 三个例子 1
1.2 Al的社会观点 2
1.3 算法危机 2
1.4 计算智能的局限性 3
1.5 网络计算/网格计算的局限性 5
2 什么是agent 17
2.1 弱定义和强定义 18
2.2 多角度理解agent 19
2.3 agent原型 21
2.4 agent和程序的区别 22
2.5 agent和对象的区别 24
2.6 多agent系统 24
3 agent计算的研究目标 25
3.1 计算的内涵 25
3.2 agent计算的研究内容 26
3.3 agent计算的研究目标 26
4 agent分类 28
4.1 按体系结构分类 28
4.2 按驻留环境分类 35
4.3 按功能作用分类 36
第二章 agent计算理论基础 39
1 哲学和心理学基础 39
1.1 Bratman的意图哲学 39
1.2 Prigogine的耗散结构理论 41
1.3 协同学 43
2 数学基础 46
2.1 进程代数 46
2.2 联系数学 49
2.3 对策论 51
2.4 模糊数学 52
3 逻辑基础 54
3.1 模态逻辑 54
3.2 时态逻辑 55
3.3 泛逻辑学 58
3.4 语义学 65
3.5 认知逻辑 79
4 信息学基础 89
4.1 演化计算 89
4.2 神经网络 92
4.3 寄存器自动机 99
4.4 Petri网 100
4.5 移动计算 106
4.6 智能信息技术 108
5 社会学基础 127
5.1 行为学 127
5.2 组织学 130
第三章 agent模型 135
1 认知模型 135
1.1 RG模型 137
1.2 意愿理论 141
2 通信模型 143
2.1 agent通信理论 143
2.2 agent通信模型ICE 145
2.3 ICE体系结构研究进展 147
3 动力学模型 150
3.1 动力学理论要点 150
3.2 信念与动力学 152
3.3 愿望与动力学 153
3.4 意图与动力学 154
4 自组织模型 154
4.1 进化模型 155
4.2 进程模型 158
5 市场模型 161
5.1 问题的提出 161
5.2 效用与BDI 163
6 个性模型 164
6.1 Agent的共性与个性 165
6.2 Agent的多样性与统一性 166
7 agent模型研究中的几个关键问题 169
7.1 BDI的非正规特性 169
7.2 理论与实际分离的问题 173
7.3 逻辑全知问题 174
7.4 演绎的不可判定性问题 174
7.5 BDI解释器 175
第四章 多agent系统求解机制 187
1 MAS模型 187
1.1 MAS联合思维状态模型 187
1.2 结合社会规范的BDO模型 192
1.3 各种形式化方法的比较 195
1.4 MAS分类 196
2 联盟与组织 198
2.1 联盟 199
2.2 组织 201
3 协作 218
3.1 依赖——协作的基础 219
3.2 协作过程 221
3.3 协作规划 222
3.4 任务分配 224
3.5 协作方案 224
3.6 协作模型 226
4 协调 232
4.1 集中与分布结合的协调 233
4.2 基于规范的协调 235
4.3 没有通讯的协调 237
4.4 预防冲突的协调 239
5 协商 241
5.1 基于对策论的协商 242
5.2 基于劝说的协商 243
5.3 基于经济学的协商(拍卖机制) 244
5.4 基于意图的协商 250
5.5 基于合同网的协商 251
6 理性 252
6.1 绝对理性 253
6.2 有限理性 255
7 对抗 266
7.1 对抗是提高性能的需要 266
7.2 个体对抗 267
7.3 群体对抗 269
7.4 对手模型 270
8 交互 274
8.1 交互的作用 275
8.2 交互内容 275
8.3 交互过程 276
8.4 交互策略 276
9 与MAS相关的概念 277
第五章 面向agent编程(AOP) 282
1 AOP提出 282
2 AOP标准 285
2.1 agent构造标准 285
2.2 系统构造标准 286
3 使用AOP应注意的问题 287
3.1 问题的根源 294
4 agent语言 295
4.1 KQML语言 296
4.2 ACL语言 307
4.3 Java语言 311
4.4 PLACA语言 312
4.5 AGENTO语言 313
4.6 ABE语言 315
5 AOP工具 316
5.1 agent设计工具AOSDE 316
5.2 agent可视化构建工具CLagent 317
6 测试床 319
6.1 测试床的作用 319
6.2 DVMT测试床 319
6.3 测试床环境 321
第六章 agent应用 324
1 计算机集成制造(CIMS) 324
1.1 敏捷制造对DAI提出的挑战 325
1.2 基于agent的CIMS模型 326
2 计算机协同工作(CSCW) 329
2.1 CSCW发展背景 329
2.2 CSCW中的agent模型 331
2.3 CSCW中的agent描述 332
2.4 CSCW中的agent协作模型 334
3 多机器人群体与协作 336
3.1 基本概念 336
3.2 系统结构 338
3.3 控制机理 339
3.4 分析和设计 340
4 智能界面Microsoft agent 341
4.1 Microsoft agent 2.0的组成 342
4.2 准备工作 343
4.3 小试一下:编写第一个agent程序 344
4.4 语言ID列表 346
4.5 角色动画列表 346
4.6 使用agent Characters Editor生成自己的角色 347
4.7 下载各种资源 348
5 基于移动agent的网上信息检索 348
5.1 移动agent研究背景 349
5.2 移动agent主要研究内容 352
5.3 移动agent研究现状 360
5.4 移动agent应用 362
5.5 移动agent标准化 363
第七章 RoboCup 365
1 Robocup简介 365
2 仿真环境 369
2.1 比赛规则 369
2.2 重要参数 371
2.3 基本动作 373
3 Robocup建模 381
3.1 Robocup模型 381
3.2 Robocup设计 384
4 Robocup实现 389
4.1 协作规划 389
4.2 学习 396
4.3 决策模型 398
4.4 CMU程序文档 407
第八章 关于agent计算的思考 419
1 agent计算给计算机科学带来的机遇和挑战 419
1.1 挑战之一:智能模拟从“先有个体”向“先有集体”过渡 420
1.2 挑战之二:程序设计从“细粒度”向“粗粒度”过渡 420
1.3 挑战之三:计算模式从“计划模式”向“市场模式”过渡 421
1.4 挑战之四:基本假设从“能力无限”向“资源约束”过渡 423
1.5 挑战之五:网络社会从“自由”向“理性”过渡 423
2 agent计算的哲理 424
2.1 agent计算在认识论与方法论上的进步 424
2.2 agent计算的系统论意义及其社会学范式的确立 426
2.3 agent计算的逻辑理性与经济学方法的结合 427
后记 431
参考文献 432