多Agent系统的模型和形式语义  

The Modeling and Formal Semantics of Multi-Agent Systems

作　　者：张伟[1] 徐晋晖[1] 石纯一[1] 

机构地区：[1]清华大学计算机系,北京100084

出　　处：《计算机科学》2001年第6期76-80,共5页Computer Science

基　　金：国家自然科学基金(69973023)

摘　　要：1 引言 自90年代以来,关于Agent和多Agent系统逐渐引起重视并开成AI研究的热点.由于Agent表达能力强,市场求解机制以及把推理格局引伸到思维状态,因此适用于动态开放环境的问题求解[1].Agent和多Agent系统最初是作为一种分布式计算模型提出来的,旨在控制分布式计算的复杂性,克服人机界面的局限性,以及适应实际问题的开放性和分布性的要求.Models and formal methods are important in the analysis and design of multi-Agent systems (MAS). In this paper ,we give a detail summary and analysis about different formal methods used in the modeling,language and organization of MAS. Finally ,further research topics of using formal semantics in the description and analysis of the social characteristics of MAS are proposed. The necessity as well as the possible approaches are also given.

关 键 词：多AGENT系统 人工智能 计算模型 形式语义 

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