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

A Formal Semantics of Agent Organization Structure Design

作　　者：张伟[1,2] 石纯一[1] 

机构地区：[1]清华大学计算机科学与技术系 [2]中国科学院计算技术研究所智能信息处理开放实验室,北京100080

出　　处：《软件学报》2002年第3期447-452,共6页Journal of Software

基　　金：国家自然科学基金资助项目(6997302360173011)~~

摘　　要：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.

关 键 词：MAS AGENT 组织结构 形式语义 Π演算 抽象机 人工智能 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]