发帖
雷达卡
摘要翻译：
开放分布式多Agent系统正受到学术界和工业界的广泛关注。在这样的开放设置中，代理通常使用标准化的代理会话协议进行协调。这些协议的表示（用于分析、验证、监控等）是多Agent应用的一个重要方面。最近，Petri网已被证明是一种有趣的方法来表示这种情况，并提出了根本不同的方法使用Petri网。但是，它们的相对优势和劣势还没有得到审查。此外，它们的可伸缩性和对不同任务的适用性还没有得到解决。本文解决了这两个挑战。首先，我们分析了现有Petri网表示的可扩展性和对监控开放多Agent系统的一个重要任务--监听的适用性。然后，在此基础上，我们引入了一种新的表示方法，它使用有色Petri网来显式地表示合法的联合会话状态和消息。这种表示方法在可伸缩性方面提供了显著的改进，特别适合于无意中听到。此外，我们还表明，这种新的表示形式提供了FIPA会话标准的所有会话特性的全面覆盖。我们还提供了一个将AUML会话协议图（一种标准的人类可读表示）转换为有色Petri网表示的过程。
---
英文标题：
《Representing Conversations for Scalable Overhearing》
---
作者：
G. Gutnik, G. A. Kaminka
---
最新提交年份：
2011
---
分类信息：
一级分类：Computer Science 计算机科学
二级分类：Artificial Intelligence 人工智能
分类描述：Covers all areas of AI except Vision, Robotics, Machine Learning, Multiagent Systems, and Computation and Language (Natural Language Processing), which have separate subject areas. In particular, includes Expert Systems, Theorem Proving (although this may overlap with Logic in Computer Science), Knowledge Representation, Planning, and Uncertainty in AI. Roughly includes material in ACM Subject Classes I.2.0, I.2.1, I.2.3, I.2.4, I.2.8, and I.2.11.
涵盖了人工智能的所有领域，除了视觉、机器人、机器学习、多智能体系统以及计算和语言（自然语言处理），这些领域有独立的学科领域。特别地，包括专家系统，定理证明（尽管这可能与计算机科学中的逻辑重叠），知识表示，规划，和人工智能中的不确定性。大致包括ACM学科类I.2.0、I.2.1、I.2.3、I.2.4、I.2.8和I.2.11中的材料。
--
---
英文摘要：
Open distributed multi-agent systems are gaining interest in the academic community and in industry. In such open settings, agents are often coordinated using standardized agent conversation protocols. The representation of such protocols (for analysis, validation, monitoring, etc) is an important aspect of multi-agent applications. Recently, Petri nets have been shown to be an interesting approach to such representation, and radically different approaches using Petri nets have been proposed. However, their relative strengths and weaknesses have not been examined. Moreover, their scalability and suitability for different tasks have not been addressed. This paper addresses both these challenges. First, we analyze existing Petri net representations in terms of their scalability and appropriateness for overhearing, an important task in monitoring open multi-agent systems. Then, building on the insights gained, we introduce a novel representation using Colored Petri nets that explicitly represent legal joint conversation states and messages. This representation approach offers significant improvements in scalability and is particularly suitable for overhearing. Furthermore, we show that this new representation offers a comprehensive coverage of all conversation features of FIPA conversation standards. We also present a procedure for transforming AUML conversation protocol diagrams (a standard human-readable representation), to our Colored Petri net representation.
---
PDF链接：
https://arxiv.org/pdf/1109.5732
京公网安备 11010802022788号
