规范约束的Agent可信协同模型与机制研究PDF电子书下载

第1章 绪论 1

1.1 课题提出与研究意义 3

1.2 研究现状与存在问题 7

1.2.1 研究现状 7

1.2.2 存在问题 18

1.2.3 解决办法 20

1.3 本书主要研究内容 22

第2章 基础理论、技术和前期工作 25

2.1 基本模态逻辑 29

2.1.1 模态算子 29

2.1.2 道义逻辑 30

2.1.3 时态逻辑 31

2.2 动态逻辑 34

2.2.1 动态逻辑语法 34

2.2.2 动态逻辑语义模型 34

2.2.3 动态逻辑语义 35

2.2.4 分析与总结 35

2.3 三纬三层的系统构架 36

2.4 虚拟社区层 37

2.4.1 本体 37

2.4.2 E机构 45

2.5 可信VO 58

2.5.1 VO模型（应用型VO） 58

2.5.2 规范实施（促进型VO） 59

2.6 理性Agent层 61

2.7 前期工作的缺陷 64

2.8 本章小结 65

第3章 E机构模型 67

3.1 EMLHYB机构 70

3.1.1 层次 70

3.1.2 EMLHYB定义 72

3.2 动态E机构模型 78

3.2.1 静态E机构模型 78

3.2.2 动态E机构模型 79

3.2.3 E机构动态模型调控机理 81

3.2.4 动态E机构举例 91

3.3 E机构运行协议 93

3.3.1 E机构运行协议语言LRUNPRO 93

3.3.2 多Agent运行模型 94

3.3.3 多Agent运行模型涉及的概念 95

3.3.4 评论 97

3.4 本章小结 98

第4章 供应链上规范实施事前机制 99

4.1 多E机构系统供应链 102

4.2 基于规范的n纬空间下的服务匹配 103

4.2.1 引言 103

4.2.2 系统概念和体系结构 104

4.2.3 匹配过程和例子 107

4.3 本章小结 116

第5章 DRQSHCTAgent支持的VO及其演化 117

5.1 引言 119

5.2 DRQSHCTAgent模型及形式化定义 121

5.2.1 Agent能力C、签订的合同T和合同履行历史H 121

5.2.2 处方R、服务合成Q、共享信息S和分配方案选择机制D 122

5.2.3 DRQSHCTAgent模型定义 126

5.3 DRQSHCTAgent的协作机制（模型指导下的VO组建过程） 128

5.4 实例与实验分析 130

5.4.1 实例分析 130

5.4.2 实验和结果分析 132

5.5 相关比较 136

5.6 评论 137

5.7 DRQSHCTAgent支持下的VO演化机制DRQSHCTENV 138

5.7.1 VO中某个（某些）二方协同合同执行异常 138

5.7.2 VO中后续二方协同（合同）的演化 139

5.7.3 评论 142

5.8 本章小结 143

附件 第三方推荐信任检验框架 144

第6章 实例分析 159

6.1 多实例层E机构 161

6.1.1 模拟春运旅客购票进站E机构 161

6.2 E机构CARREL（器官移植） 164

6.2.1 E机构CARREL中的角色 165

6.2.2 E机构CARREL中的多方交互 166

6.2.3 E机构CARREL中的多方交互定义 166

6.2.4 E机构CARREL中的多实例层交互 171

6.3 E机构之间的服务调用 173

6.4 动态E机构——交通十字路口E机构 175

6.5 本章小结 182

第7章 结论与展望 183

7.1 本书工作总结 185

7.2 未来工作展望 187

参考文献 188

后记 201