多Agent协同系统的Pi演算建模方法.pdfVIP

2014年 12月 西安电子科技大学学报(自然科学版) Dec．2014 第 41卷 第 6期 J0URNAL 0F XIDIAN UNIVERSITY Vo1．41 NO．6 doi：10．3969／j．issn．1001—2400．2014．06．013 多Agent协同系统的Pi演算建模方法 鱼 滨，张 琛 ，李 文静 (西安电子科技大学 计算机学院，陕西 西安 710071) 摘要 ：MAS因 自治性、反应性等特性适用于复杂的分布式系统，为 了分析、模拟 Agent的并发交互过程并 设计 出合理的MAS，应用 了形式化方法 Pi演算进行建模．首先介绍 了多Agent协 同系统中Agent之间的 广播、中介和代理3种通信模型，然后给 出了Agent之间交互模式的Pi演算建模方法．再 以家庭物联 网系 统作为多Agent协作实例 ，应用 Pi演算对其建模