摘要
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.
出处
《计算机科学》
CSCD
北大核心
2001年第6期76-80,共5页
Computer Science
基金
国家自然科学基金(69973023)