【摘要】 <正> 1 引言自90年代以来,关于Agent和多Agent系统逐渐引起重视并形成AI研究的热点。由于Agent表达能力强,市场求解机制以及把推理格局引伸到思维状态,因此适用于动态开放环境的问题求解。Agent和多Agent系统最初是作为一种分布式计算模型提出来的,旨在控制分布式计算的复杂性,克服人机界面的局限性,以及适应实际问题的开放性和分布性的要求。更多还原

【Abstract】 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.更多还原