Coping with Bad Agent Interaction Protocols When Monitoring Partially Observable Multiagent Systems

Author(s):  
Davide Ancona ◽  
Angelo Ferrando ◽  
Luca Franceschini ◽  
Viviana Mascardi
2018 ◽  
Vol 7 (3.8) ◽  
pp. 1
Author(s):  
Dimple Juneja ◽  
Chetali Dhiman ◽  
Savneet Monga ◽  
Ashutosh Kumar Singh

The premise of the paper is to present a compendious study of interaction protocols pertaining to multiagent systems. Multiagent systems have evolved from the field of Distributed Artificial Intelligence and require numerous agents to cooperate and coordinate to cope with goal search. The primary ingredients to goal search are the language of communication and the interaction protocol. Agents in communication must be able to understand the language of communication and should also follow rules of interaction. The paper focuses on sharing understanding about various agent interaction protocols and it also discusses the promises and challenges each protocol offers to MAS research community.  


2021 ◽  
Author(s):  
Nieves Montes ◽  
Nardine Osman ◽  
Carles Sierra

In the field of normative multiagent systems, the relationship between a game structure and its underpinning agent interaction rules is hardly ever addressed in a systematic manner. In this work, we introduce the Action Situation Language (ASL), inspired by Elinor Ostrom’s Institutional Analysis and Development framework, to bridge the gap between games and rules. The ASL provides a syntax for the description of agent interactions, and is complemented by an engine that automatically provides semantics for them as extensive-form games. The resulting games can then be analysed using standard game-theoretical solution concepts, hence allowing any community of agents to automatically perform what-if analysis of potential new interaction rules.


2015 ◽  
pp. 728-750
Author(s):  
Djamel Benmerzoug

This paper deals with one of the key issue in modern enterprises applications: the Agents Interaction Protocols (AiP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between interaction protocols. The semantics of AiP notations used in our approach and its application are described on the basis of translation rules into colored Petri net. The key feature of this framework is the ability to model and formally verify composition of AiP, where particular protocols may then be selected and composed to support a new business task. Furthermore, an agent-based architecture that supports our approach is developed. The main goal of the proposed architecture is to address and tackle AiP composition in the context of Cloud-based enterprise application.


Sign in / Sign up

Export Citation Format

Share Document