第一章 绪论 1
1.1 信息社会 1
1.2 信息高速公路 2
1.3 网络计算 4
1.4 分布式人工智能 6
1.5 智能主体 7
1.5.1 主体弱概念 8
1.5.2 主体强概念 9
1.5.3 主体的其它属性 9
1.6 移动主体 9
1.7 智能主体的研究进展 11
第二章 理论模型 12
2.1 智能主体的心理要素 12
2.2 理性主体 13
2.3 Cohen和Levesque的模型 14
2.3.1 模态逻辑 14
2.3.2 Cohen和Levesque的BDI模型 14
2.4 Rao和Georgeff的模型 15
2.4.1 分支模态逻辑 15
2.4.2 Rao和Georgeff的BDI模型 17
2.5.2 对其它主体的推理 18
2.5.1 公共知识 18
2.5 多主体的逻辑框架RAO 18
2.6 主体心智状态的表示 20
2.6.1 主体的信念和动作 20
2.6.2 主体的能力 21
2.6.3 主体的规划 22
2.6.4 主体的意图 22
2.7 π演算主体模型 22
2.7.1 π演算 23
2.7.2 主体的心智态度 23
2.7.4 主体界面 25
2.7.3 主体的行为规范 25
2.7.5 主体自适应 26
2.7.6 多主体系统模型 27
2.8 基于行为的主体理论 29
第三章 主体结构 30
3.1 主体基本结构 30
3.2 慎思主体 31
3.3 反应主体 34
3.4 混合结构 36
3.5 INTERRAP 37
3.6 MAPE主体结构 38
3.6.1 部件构成 38
3.6.2 主体内核 41
第四章 主体通信 50
4.1 通信方式 50
4.1.1 黑板系统 50
4.1.2 消息传送 50
4.2 主体通信语言KQML 51
4.2.1 KQML字符串句法 52
4.2.2 保留的动作表达式参数 52
4.2.3 保留的动作表达式 53
4.3.1 主体间通信的模型 55
4.3 SACL语言 55
4.3.2 SACL语言规范 58
4.3.3 SACL的保留关键字 58
4.4 通信服务器 64
4.4.1 通信模块 64
4.4.2 通信服务器类 66
4.4.3 名字服务 66
4.4.4 查询服务 67
4.4.5 订购服务 67
4.4.6 主体生存期服务 68
4.4.7 系统监控和调试 68
4.5.1 主体间通信概述 69
4.5 主体通信语言ACL 69
4.5.2 FIPA ACL消息 71
4.5.3 交互协议 75
4.5.4 ACL语义学的形式化基础 77
4.6 本体论 79
第五章 协调与协作 81
5.1 引言 81
5.2 合同网 83
5.3 协作规划 85
5.3.1 形式化框架 86
5.3.2 协作模型 87
5.3.3 协作结构 88
5.3.4 协作方案 90
5.3.5 协作过程分析 92
5.4 部分全局规划 93
5.5 基于约束传播的规划 95
5.5.1 规划表示 96
5.5.2 多主体环境下的规划问题 98
5.5.3 规划算法 99
5.6 基于生态学的协作 102
5.7 基于对策论的协商 104
5.7.1 对策论 104
5.7.4 集中式协商方法 106
5.7.2 面向领域的协商 106
5.7.3 最佳平衡协商方法 106
5.8 基于意图的协商 107
5.8.1 意图 107
5.8.2 协商过程 108
5.9 基于范例推理的合同网协商 108
第六章 移动主体 110
6.1 概述 110
6.2 分布计算模型 113
6.3 协作移动主体CMA 114
6.4 任务移动主体TMA 118
6.5 移动主体服务器结构 121
6.6 JMAT系统结构 125
6.7 JMAT本体知识解释器 127
第七章 学习与安全 129
7.1 学习 129
7.2 主动学习 129
7.2.1 主动学习概述 130
7.2.2 主动学习者以前不正确学习的问题 130
7.2.3 克服前面不正确学习问题的方法 131
7.2.4 选择训练实例学习的时机 132
7.3 异构多主体系统中学习组织角色 132
7.4 分布式环境下的数据库知识发现DEKDD 134
7.5 多主体范例推理 137
7.6 多主体系统的安全 139
7.6.1 处理AOSDE分布式安全机制DSM的设计 140
7.6.2 DSM的低层算法设计 141
7.6.3 低层算法的安全性分析及实现 142
7.6.4 DSM的高层设计 144
第八章 面向主体的软件技术 147
8.1 软件开发方法 147
8.2 分布式对象构件技术 148
8.3.1 AGENT-0语言 151
8.3 面向主体程序设计 151
8.3.2 AGENT-0解释器 153
8.4 基于主体的分布计算模型 155
8.5 公共主体请求代理体系结构CARBA 155
8.6 AOSDE的总体结构 156
第九章 主体开发工具 158
9.1 引言 158
9.2 Java语言 159
9.3 PLACA语言 165
9.4 IBM的ABE 166
9.5 AOSDE 167
9.5.1 通用主体模板 168
9.5.3 主体描述语言ADL 169
9.5.2 主体控制循环 169
9.6 CIAgent 171
9.6.1 基本类CIAgent 171
9.6.2 类CIAgentEvent 173
9.6.3 类CIAgentEventListener 174
9.6.4 类Rule 174
9.6.5 类RuleBase 177
9.6.6 类FacilitatorAgent 180
10.1 网络信息检索 185
第十章 信息检索 185
10.2 JMAT分布信息检索 186
10.3 基于主体的多媒体并行检索系统MIRES/INPAR 189
10.3.1 系统体系结构 189
10.3.2 系统工作过程 191
10.4 基于本体论的信息检索服务器 192
第十一章 电子商务 194
11.1 引言 194
11.2 运作模式 195
11.3 电子商店设计 197
11.4.1 类BuyerAgent 199
11.4 电子商务实现 199
11.4.2 类SellerAgent 203
11.4.3 类BasicNegotiation 209
11.4.4 类BestBuyerAgent 210
11.4.5 类BestSellerAgent 212
11.4.6 类MarketPlace 216
第十二章 智能决策 223
12.1 引言 223
12.2 决策支持系统 224
12.4 群体决策支持系统 225
12.3 智能决策支持系统 225
12.4.1 信息共享群体决策支持系统 226
12.4.2 协同工作群体决策支持系统 227
第十三章 智能控制 230
13.1 引言 230
13.2 空中交通管理系统 231
13.3 智能机器人 233
13.4 Brooks的包容结构 234
13.5 O’Hare的社会机器人 235
13.6 机器人世界杯足球赛 236
第十四章 展望 238
参考文献 240