| Agent组织结构设计的一种形式语义 |
| |
| 引用本文： | 张伟,石纯一.Agent组织结构设计的一种形式语义[J].软件学报,2002,13(3):447-452. |
| |
| 作者姓名： | 张伟 石纯一 |
| |
| 作者单位： | 1. 清华大学,计算机科学与技术系,北京,100084;中国科学院计算技术研究所,智能信息处理开放实验室,北京,100080
2. 清华大学,计算机科学与技术系,北京,100084 |
| |
| 基金项目： | 国家自然科学基金资助项目(69973023;60173011) |
| |
| 摘 要： | Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于(演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作.
|
| 关 键 词： | MAS(multi-agent systems) Agent组织结构 形式语义 π演算 抽象机 |
| 文章编号： | 1000-9825/2002/13(03)0447-06 |
| 收稿时间： | 2000/10/23 0:00:00 |
| 修稿时间： | 2000年10月23 |
A Formal Semantics of Agent Organization Structure Design |
| |
| ZHANG Wei and SHI Chun-yi.A Formal Semantics of Agent Organization Structure Design[J].Journal of Software,2002,13(3):447-452. |
| |
| Authors: | ZHANG Wei and SHI Chun-yi |
| |
| Abstract: | 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 oranization and organization structure. |
| |
| Keywords: | MAS Agent organization structure formal semantics p-calculus abstract machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
