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

A Formal Semantics of Agent Organization Structure Design

Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.

Agent organization is an important research topic of MAS (multi-agent systems). The explicit expressions of Agent organization structure are more widely used in the implementation of Agent organizations. A formal semantics of processes of Agent organization structure design is given in this paper based on p-calculus and the chemical abstract machine (CHAM). Components associated with the organization structure design are taken as molecules of CHAM and use the executions of the CHAM to express procedures of Agent organization structure formation. This formal semantic method is both accurate and direct. It is convenient to implement Agent organization structure design and improves the work of Ferber and Xu about implementation and semantics of Agent organization and organization structure.