规范约束的Agent可信协同模型与机制研究-计算机应用技术专业论文.docx

浙江大学博士学位论文 浙江大学博士学位论文 摘要 摘要 如何在分布、动态、共享的网络计算环境中，建立E机构(Electronic institution)去规范和约束Agent的协同行为，使得系统可信?如何表达和实 施协同行为规范，使得只要个体都遵从行为规范，就可预测这些个体完成拟 定的全局目标?如何使得Agent能够有效地遵循行为规范，且在Agent违反 行为规范时能有效地追究其责任?如何建立高效的VO体制，使系统尽量减 少合同违约?如何使系统体制表现出自管理能力，自修复能力?这些都是当 前研究的热点。目前，以软件Agent充当自治计算元素，建立E机构调控 多agent系统是进行上述热点研究的有效方法。但却缺乏有效的模型和机制 去支撑Agent的可信服务协同，以减少违约的发生。为此，本文提出了规范 约束的Agent可信协同模型与机制研究，以减少违约，提高可信度。文章主 要的研究内容和创新成果包括： 1．提出了EMLHYB机构模型，并定义了相应的E机构动态模型和运行协议。 文中多层次地阐述了E机构模型，并且E机构模型中规范的定义描述了不 同实例层之间的协同行为的制约。通过规范实施机制就可以减少不同实例层 之间的规范的违反，提高了可信度。通过E机构动态模型的动态调控，可 以减少违约，或者使得违约控制在理想范围内。 2．基于LABEL．CTL*逻辑的软约束规范描述和全面的规范实施可以减少规 范违反。本文用标记分支时序逻辑(LABEL．CTL*)描述软约束规范，使得 对规范的描述有最强的表达力。通过合理设置软约束规范的异常状态下 Agent应该尽的义务，可以有效减少规范违反。提出了标记分支时序逻辑描 述下的违约逻辑悖论处理方法，解决了软约束规范的技术问题。本文的规范 实施机制是综合性的，包括规范执行前的实施(包括基于规范的服务匹配机 制和协作前的基于合同信任的方案选择机制)、规范执行时的实施(规范的 内化和策略驱动的Agent自主管理)，规范执行后的实施(违约制裁与系统 演化)。 3．建立了基于DRQSHcTAgent模型的VO自组织、自演化机制。为了减少 合同违约，提出了DRQSHcTAgent模型来实现VO的自组织。为了减少VO 演化后合同违约，提出了VO演化机制的DRQSHcTENV。 总之，本文的模型和机制可以有效抑制规范违反事件的发生。 关键词 E机构；规范；VO；自组织；自演化；多agent系统。 浙江大学博士学位论文 Abstr田t 11 AbstractHow Abstract How to construct E．institutions to standardize and constrain the agent cooperation behaviors，and to make a‘‘trust’’system in distributed，dynamic and shared network computing environment?How to express and implement the norms of cooperation behaviors，and to make the completion of the global goals by the individuals predictable SO long as the individuals conform the norms?How to make agents capable to confornl to the behavior norms，and to make it efficiently to ascertain where the responsibility lies when the norms violated by the agents?How to design the efficient mechanism to organize VOs to minimize the contract violations in the system?How to make the system have the capability of self-management and self-healing?All these have been one of hot research area．Nowadays，useing soft