第1章 绪论 1
1.1 智能协作信息技术概述 1
1.2 关于主体的研究 2
1.2.1 “Agent”的概念 2
1.2.2 主体的性质 4
1.2.3 主体的分类 4
1.3 多主体系统 5
1.3.1 多主体系统的出现 6
1.3.2 多主体系统的研究内容 6
1.3.3 多主体系统的分类 7
1.4 智能协作信息技术的研究动机 9
1.5 智能协作信息技术的应用 11
1.5.1 主体应用领域的特征 11
1.5.2 主体的应用领域 12
1.5.3 开发多主体应用系统的现状与难点 15
1.6 智能协作信息技术的研究概况与发展前景 16
1.6.1 研究初期的主要工作 16
1.6.2 20世纪90年代的研究进展 18
1.6.3 未来的发展动向 23
2.1.1 多主体系统中主体的知识特性分析 24
第2章 智能主体 24
2.1 智能主体的知识行为特性分析 24
2.1.2 自主主体的基本智能活动 25
2.1.3 多主体系统的主体概念模型 26
2.1.4 主体的推理能力和学习能力 28
2.2 主体的信念-愿望-意图模型 30
2.2.1 信念-愿望-意图模型概述 30
2.2.2 信念-愿望-意图主体模型的一般结构 31
2.2.3 典型的BDI主体结构简介 33
2.3.1 BDI主体的形式化概述 40
2.3 理性BDI主体的形式化模型 40
2.3.2 形式化理论 43
2.3.3 基本公理与语义条件 47
2.3.4 作为公理的不同承诺 49
2.4 反应主体的结构 51
2.4.1 反应主体概述 51
2.4.2 反应主体的特性 51
2.4.3 反应主体的结构 52
2.5 社会主体的结构 55
3.1.1 协作行为 58
3.1 协作的基本概念 58
第3章 协作的基本原理 58
3.1.2 协调 60
3.1.3 协同和协商 61
3.1.4 模型化其他主体 62
3.1.5 全局连贯性 62
3.2 实用的协作方法 63
3.2.1 合同网 63
3.2.2 黑板模型 64
3.2.3 结果共享与功能精确的协同方法 66
3.2.4 市场机制 68
3.3 基于承诺和约定的协作方法 69
3.3.1 承诺和约定的概念 69
3.3.2 用分布目标搜索方法模型化多主体系统 69
3.3.3 承诺和约定模型 71
3.4 多主体规划 76
3.4.1 概述 76
3.4.2 多主体规划中的计划表示 77
3.4.3 多主体规划方法 78
3.4.4 多主体规划中的协调技术 80
3.5 协商的原理与方法 81
3.5.1 协商的定义 82
3.5.2 协商语言范畴 83
3.5.3 协商决策范畴 84
3.5.4 协商过程范畴 87
3.5.5 协商的理论模型 87
3.6 多主体系统组织 90
3.6.1 组织与结构 90
3.6.2 多主体组织和社会 92
3.6.3 组织智能 93
3.7 基于假设的分布式协作求解 94
3.7.1 基于真值维护的协作求解概述 95
3.7.2 基于假设的真值维护原理 96
3.7.3 基于假设的协作求解模型ACPS 100
3.7.4 ACPS模型在DESW系统中的实现 101
3.7.5 关于基于假设的协作求解模型ACPS性质的讨论 107
3.8 协作问题求解模型 108
3.8.1 协作问题求解模型概述 108
3.8.2 形式化框架简介 109
3.8.3 承诺、约定和意图 110
3.8.4 协同问题求解过程 111
4.1 主体的相互作用与通信概述 117
4.1.1 相互作用与通信 117
第4章 相互作用与通信 117
4.1.2 通信需解决的基本问题 118
4.1.3 通信语言 119
4.2 Speech Act理论及其在协作中的应用 120
4.2.1 Speech Act理论 120
4.2.2 Speech Act理论在多主体协作中的应用 123
4.3 知识查询操纵语言(KQML) 126
4.3.1 KQML的传输假设 127
4.3.2 KQML语法 127
4.3.3 保留的执行原语参数 127
4.3.4 保留的执行原语 128
4.4 KQML语言的语义 132
4.4.1 语义框架 132
4.4.2 KQML原语的基本语义 133
4.5 通信的设计与实现 136
4.5.1 基于BDI结构的通信模型 136
4.5.2 通信机制的设计与实现 138
第5章 多主体系统的分析与设计 148
5.1 多主体系统开发方法概述 148
5.1.1 相关的研究工作 148
5.1.3 多主体系统与面向对象系统 149
5.1.2 多主体系统的典型特性 149
5.1.4 多主体系统开发现状 151
5.2 建造多主体系统的组织模型 153
5.2.1 组织学中有关组织的定义 153
5.2.2 多主体系统组织的基本概念 153
5.2.3 多主体组织建模的分析过程 161
5.3 基于BDI主体的多主体系统设计建模 163
5.3.1 概述 163
5.3.2 主体模型 163
5.3.3 相互作用模型 166
5.4.1 应用背景简介 167
5.3.4 相识者模型 167
5.4 一个多主体系统分析与设计的应用实例 167
5.4.2 多主体系统MICS的分析建模 168
5.4.3 多主体系统MICS的设计建模 178
第6章 多主体协作信息处理系统 182
6.1 简介 182
6.1.1 多主体协作信息处理系统的组成 182
6.1.2 主要功能简介 183
6.2 基组织结构模型 185
6.2.1 基组织结构模型简介 185
6.2.2 基组织结构的知识表示 186
6.2.3 基组织结构的计算模型 187
6.3 智能主体的结构及其实现 189
6.3.1 智能主体的结构 189
6.3.2 智能主体的实现 191
6.4 多源信息融合 194
6.4.1 多源信息融合技术概述 194
6.4.2 实时数据信息输入主体的实现 196
6.4.3 用户录入主体的实现 197
6.4.4 信息融合主体的实现 198
6.5.2 态势评估中的模糊判别 199
6.5.3 态势评估主体的实现 199
6.5.1 概述 199
6.5 分布式态势评估 199
6.6 协同工作平台MBOS 200
6.6.1 协同工作平台MBOS的结构 200
6.6.2 MBOS的基础设施与系统构建工具 201
6.6.3 协作环境生成 203
6.7 基于基组织结构的共识学习 203
6.7.1 基组织内部共识学习的基本原理 204
6.7.2 共识学习在电子商务中的应用 207
7.1.2 IC-OFFICE的体系结构 210
7.1.1 IC-OFFICE系统的设计思想 210
第7章 智能协作办公系统 210
7.1 智能协作办公系统IC-OFFICE概述 210
7.1.3 主要的软件功能模块 212
7.2 办公系统中的异步协作文档编辑 214
7.2.1 有关概念 214
7.2.2 异步协同文档编辑的基本工作原理 217
7.2.3 协作文件夹管理机制 219
7.3 办公系统中的工作流管理 226
7.3.1 协同办公过程概述 226
7.3.2 工作流程编辑器 227
7.3.3 工作流管理技术 228
7.4 组织知识的集成 230
7.4.1 组织信息的存储与表示 231
7.4.2 组织知识的访问 231
7.4.3 组织知识的安全性管理 231
附录A 模态逻辑的基础知识 232
A.1 模态逻辑的语法定义 232
A.2 模态命题逻辑的语义定义 234
A.3 时序逻辑 236
参考文献 237