规范约束的Agent可信协同模型与机制研究

第1章 绪 论

1.1 课题提出与研究意义

1.2 研究现状与存在问题

1.2.1 研究现状

1.2.2 存在问题

1.2.3 解决办法

1.3 本书主要研究内容

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

2.1 基本模态逻辑

2.1.1 模态算子

2.1.2 道义逻辑

2.1.3 时态逻辑

2.2 动态逻辑

2.2.1 动态逻辑语法

2.2.2 动态逻辑语义模型

2.2.3 动态逻辑语义

2.2.4 分析与总结

2.3 三纬三层的系统构架

2.4 虚拟社区层

2.4.1 本体

2.4.2 E机构

2.5 可信

2.5.1 VO模型（应用型

2.5.2 规范实施（促进型

2.6 理性Agent层

2.7 前期工作的缺陷

2.8 本章小结

第3章 E机构模型

3.1 EMLHYB机构

3.1.1 层次

3.1.2 EMLHYB定义

3.2 动态E机构模型

3.2.1 静态E机构模型

3.2.2 动态E机构模型

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

3.2.4 动态E机构举例

3.3 E机构运行协议

3.3.1 E机构运行协议语言LRUNPRO

3.3.2 多Agent运行模型

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

3.3.4 评论

3.4 本章小结

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

4.1 多E机构系统供应链

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

4.2.1 引言

4.2.2 系统概念和体系结构

4.2.3 匹配过程和例子

4.3 本章小结

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

5.1 引言

5.2 DRQSHCTAgent模型及形式化定义

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

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

5.2.3 DRQSHcTAgent模型定义

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

5.4 实例与实验分析

5.4.1 实例分析

5.4.2 实验和结果分析

5.5 相关比较

5.6 评论

5.7 DRQSHcTAgent支持下的V0演化机制DRQSHCTENV

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

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

5.7.3 评论

5.8 本章小结

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

第6章 实例分析

6.1 多实例层E机构

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

6.2 E机构cARREL（器官移植）

6.2.1 E机构CARREL中的角色

6.2.2 E机构CARREL中的多方交互

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

6.2.4 E机构C.ARREL中的多实例层交互

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

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

6.5 本章小结

第7章 结论与展望

7.1 本书工作总结

7.2 未来工作展望

参考文献

后记

《规范约束的Agent可信协同模型与机制研究》通过系统化制定社交结构标准和配套的协同行为规范来约束和调控Agent个体的协同行为及其演化，并全方位设计应用域本体，多层次地设计E机构结构，形成混合的E机构模型，以便全方位调控Agent个体的协同行为。同时考虑变化的环境，通过设计E机构动态模型，按要求动态地调控Agent协同行为，使得Agent的协同行为能适应要求更好地得到调控。为了使得多Agent系统的运行更加规范，在E机构中设计多实例层的运行协议，使得多Agent系统能够按照E机构的运行模型运行。E机构的新模型和新机制可以有效减少违约，提高可信度。
　　《规范约束的Agent可信协同模型与机制研究》的主要贡献包括以下五个方面： 第一，全面系统建立E机构模型，以便调控．Agent的协同行为及其演化，以减少违约，提高可信度； 第二，全面系统地建立规范的实施机制，使得系统尽量地避免出现规范违反的情况； 第三，设计．Agent模型，把E机构知识内化到Agent心里，使得Agent对E机构调控具有前摄性和反应性。设计Agent模型，使它综合处理和服务合成产生多个问题解决方案，用共享的合同履行历史记录H计算协作Agent方案信任度，选择信任度最大的方案，从而极大限度地减少出现合同异常和服务协同失控。
　　第四，通过DRQSHe，Agent模型支撑VO自组织和VO演化机制DRQSH-．CTENV，以减少违约，提高可信度； 第五，在直接交易数据不够时通过可变显著水平的贝叶斯假设检验检查第三方推荐信任可信度的规范约束框架，同时提出揭露虚假交易骗取信任的框架。