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

摘要

MAS因自治性、反应性等特性适用于复杂的分布式系统,为了分析、模拟Agent的并发交互过程并设计出合理的MAS,应用了形式化方法 Pi演算进行建模.首先介绍了多Agent协同系统中Agent之间的广播、中介和代理3种通信模型,然后给出了Agent之间交互模式的Pi演算建模方法.再以家庭物联网系统作为多Agent协作实例,应用Pi演算对其建模,模拟多个Agent协作过程中的通信.最后,采用移动工作台对模型的语义进行了验证,表明了Pi演算对MAS建模的适用性.