规范约束的Agent可信协同模型与机制研究PDF|Epub|txt|kindle电子书版本网盘下载

规范约束的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 可信VO58

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机构运行协议语言LRUNPRO93

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和合同履行历史H121

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

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演化机制DRQSHCTENV138

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