面向可扩展窃听的对话表示方法

开放分布式多智能体系统正日益受到学术界和工业界的关注。在此类开放环境中，智能体通常通过标准化的智能体对话协议进行协调。此类协议的表示（用于分析、验证、监控等）是多智能体应用的一个重要方面。近年来，Petri 网已被证明是此类表示的一种有趣方法，并提出了几种基于 Petri 网的截然不同的方法。然而，它们的相对优缺点尚未得到考察，且其可扩展性及对不同任务的适用性也未被探讨。本文针对这两个挑战展开研究。首先，我们从可扩展性和对“窃听”（开放多智能体系统监控中的重要任务）的适用性角度，分析了现有的 Petri 网表示方法。随后，基于所得见解，我们引入了一种基于有色 Petri 网的新表示方法，该方法显式地表示合法的联合对话状态和消息。这种表示方法在可扩展性方面提供了显著改进，尤其适用于窃听任务。此外，我们证明了这种新表示法能够全面覆盖 FIPA 对话标准的所有对话特征。我们还提出了一种将 AUML 对话协议图（一种标准的人类可读表示）转换为我们的有色 Petri 网表示的程序。