| 本文已被：浏览 4395次 下载 6208次 |
码上扫一扫！ |
|
|
| Agent组织结构设计的一种形式语义 |
|
张伟1,2, 石纯一1
|
|
1.清华大学,计算机科学与技术系,北京,100084;2.中国科学院计算技术研究所,智能信息处理开放实验室,北京,100080
|
|
| 摘要: |
| Agent组织是多Agent系统研究的重要方面,在不同的Agent组织形成方法中常采用显式的组织形成方法.基于(演算和化学抽象机给出了组织结构设计过程的一种形式语义.把参与组织结构设计的有关Agent都作为化学抽象机中的化学分子,而化学抽象机的运行过程即是组织结构的设计过程.这种语义给出方式准确、直观,使组织结构设计系统易于实现,改进了Ferber和Xu关于Agent组织的操作语义和组织结构设计的工作. |
| 关键词: MAS(multi-agent systems) Agent组织结构 形式语义 π演算 抽象机 |
| DOI： |
| 分类号: |
| 基金项目:国家自然科学基金资助项目(69973023;60173011) |
|
| A Formal Semantics of Agent Organization Structure Design |
|
ZHANG Wei,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. |
| Key words: MAS Agent organization structure formal semantics p-calculus abstract machine |
