多Agent系统计算的动作模型理论.pdfVIP

第22卷增刊 江西师范大学学报t自然科学版) Vel．22．Sup． 1998年10月 JOURNALOFⅡANGXINORN【ALUNI、甩RS吖 Oct1998 多Agent系统计算的动作模型理论* 毛新军 王怀民 陈火旺 王兵山 墨舫科拄丈学计算机泵，长沙．410073 摘要：本文提出了～个基于外部条件一内在能力一结果体系结构的动作模型理论以支持 多Agent系统计算的理论研究．理论区别动作发生所需的外部条件和内在能力，允许多个Agent 的动作异步、并发地发生，允许不同的动作具有不同的时间延迟我们引进丁复台动作算子以 提高模型的行为表达能力，并提出一系列技术约柬以使得模型是一致和有效的且能获得一些重 要的结论． 、／ j 关键字：gent，多Agent系统，时刻，路径 中圈法分类号：TP301 分布计算是当前计算机科学领域的一项关键性主流技术和一种重要的汁算方式和范 型．分布计算系统由一组拥有一定资源和能力、相对独立并能自主运作的计算实体组成．～ 般地，分布式计算系统具有开放性、并发性、交互性、协同和合作等特征．分布计算系统 等．这些系统的实现要求必须是完全可靠的，这就需要开展相应的理论研究以获取分布计 算系统的需求、指导分布计算系统的开发． 提出一个合理的概念模型对于理论研究而言是极为重要的．人们在研究分布计算系统 的过程中发现，分布计算系统大量存在着用现有计算机概念(如进程，对象等)难以准确描 述的自主行为实体，于是引入了Agent概念．在分布计算领域，Agent是指具有交互性、 反应性和主动性等特征的自主计算实体．由于Agent概念在开发分布计算系统中的重要性 和有效性，开展基于Agent抽象概念模型的分布汁算的理论研究已成为当前分布汁算领域 迫切需要解决的一个重要问题，它在指导分布计算系统的开发、推动分布计算技术的发展 方面具有重要的理论价值和现实意义． 正确地认识和形式化动作概念，提供一个更灵活、更符合实际的动作模型理论是开展 多Agent系统计算理论研究的基础和前提．在计算机科学领域时间和动作的研究一直引起 人们的高度重视和极大兴趣．现有的一些工作不能很好地支持多Agent系统汁算的理论研 究如许多方法基于线性时间模型，而且通常假定在任一时刻只有一个Agent的动作发生或 者所有Agent的动作同步执行以．及Agent的所有动作具有相同的单元时间延迟”，2·3l等等．传 统的动作理论集中于分析动作的因果关系．许多研究关心动作的发生，而不是更进一步地 分析Agent完成动作所需的内在能力和应具备的外韶条件”，纠4—1．本文提出了一个基于外 部条件一内在能力一结果体系结构的动作模型理论以支持多Agent系统计算的理论研究．理 论主要由语法、模型和语义三部分组成． 1逻辑系统 。国家自然科学基金瓷助项目 2 江e《f肺范^学学报(自然科学版) 1998拒 ……‘S2 ……S4 图l 多Agent系统讨‘算的形式化模型 动作模型理论的形式化模型基于一个具有缩序关系的时刻集．每一时刻对应于世界的 一个状态．世界状态田在该状态下为真的原子命题米表示．～个命题被实现是指到达一个 时刻，在此时刻该命题成立．野刻集上的偏序关系拭述了时刻间的先后次序．任一时刻的 过去是确定和线性的，它的将来可能是分枝的，形式化模型呈图l所示的树形结构．在形 式化模型中．Agent是活着的，拥有一定能力且能自主运作的计算实体．模型中任一时刻 个基本要素．Agent通过执行动作在一定程度上影响和控制世界的发展，然而这种影响和 控制是有限的．所有Agent的动作执行事件以及环境事件共同确定世界的发展．形式化模 受外部条件(如环境资源)的影响和制约．同时Agent完成某一动作的前提是它必须具育相 应的内在能力．只有这二方面条件均满足，一个动作牙{是实际可执行