Agent组织结构设计的一种形式语义A.PDF

1000-9825/2002/13(03)0447-06 ©2002 Journal of Software 软 件 学 报 Vol.13, No.3 Agent 组织结构设计的一种形式语义 1,2 1 张 伟 , 石纯一 1(清华大学 计算机科学与技术系,北京 100084); 2( 中国科学院计算技术研究所 智能信息处理开放实验室,北京 100080) E-mail: zwytu@263.net 摘要: Agent 组织是多Agent 系统研究的重要方面,在不同的Agent 组织形成方法中常采用显式的组织形成方法. 基于π演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关 Agent 都作为 化学抽象机中的化学分子, 而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观, 使组织结构设计系统易于实现,改进了Ferber 和Xu 关于Agent 组织的操作语义和组织结构设计的工作. 关 键 词: MAS(multi-agent systems);Agent 组织结构;形式语义;π演算;抽象机 中图法分类号: TP 18 文献标识码: A 在MAS(multi-agent systems) 中,组织是一种有效的求解方式.这是由于一方面Agent 能力的有限性假设,另 [1] 一方面由于现实问题的复杂性和分布性,使得采用组织的方法进行问题求解更为有效 . 关于组织的研究引起了越来越多的注意和重视,一个重要的研究内容是组织的形成方法和角色的定义.在 诸多组织形成方法中,面向结构的组织形成方法与人类社会组织的产生机制相似,是一种显式的目标明确的组 织形成方法.文献[2]采用面向结构的方法给出了组织结构描述以及组织结构的设计原则和设计过程,但对组织 结构的形成过程缺少严格而明确的形式化描述和形式语义.Ferber 等人基于一个特定的组织模型给出了组织形 成的操作语义[3],描述了一个 Group 的创建和Agent 加入组织的过程, 由于没有采用面向结构的组织形成方法, 而且局限于一个具体的组织模型, 因此使该方法的一般性受到影响,另外,对于 Agent 组织的形式语义描述也不 够完整.本文基于面向结构的组织形成方法,使用π演算和化学抽象机,给出了组织结构设计过程的形式语义描 述,从而改进了Ferber 等人和Xu 的工作.这一方面严格定义了完整的组织结构形成过程,避免引起歧义,另一方 面也方便对组织结构形成过程的理解和系统的实现. 本文第 1 节简单给出语义描述使用的工具及抽象机.第 2 节概述了组织结构的描述和设计过程.第 3 节对 组织结构的形成过程给出了语义描述.第 4 节通过化学抽象机的运行举例,说明了组织结构的设计过程.最后给 出了简单的结论. 1 π演算和化学抽象机 [4] π演算 是一种进程代数.从技术上讲,π演算是CCS 的扩展,使其可以传递通道名.在π演算中,每个表达式表 示一个进程,代表一个可以自由并行运行的实体,进程可以有子进程.进程之间的通信是通过在命名的通道上交 换信息实现的.设P 和Q 代表进程的元变量,x ,y ,z ,v 是名字元变量. π演算的句法为 收稿日期: 2000-10-23; 修改日期: 2001-02-20 基金项目: 国家自然科学基金资助项目60173011) 作者简介: 张伟(1961 －), 男, 山东滕州人,博士生,副教授,主要研究领域为分布式人工智能;石纯一(1935 －), 男,河北秦皇岛人, 教授,博士生导师,主要研究领域为人工智能应用基础. 448 Journal of Software 软件学报 2002,13(3) P ,Q ∷＝0|(P |Q)|P ;Q|x (z).P | ↑x (y ).P |C?P |ν(ν)P |A (y ,...,y ). 1