scholarly journals Strategic Abilities of Asynchronous Agents: Semantic Side Effects and How to Tame Them

2021 ◽  
Author(s):  
Wojciech Jamroga ◽  
Wojciech Penczek ◽  
Teofil Sidoruk
Keyword(s):  
Distributed Systems ◽  
Side Effects ◽  
Model Reduction ◽  
Semantic Representations ◽  
Multi Agent Systems ◽  
Reduction Scheme ◽  
Agent Systems ◽  
Multi Agent ◽  
The Asymmetry ◽  
Execution Semantics

Recently, we have proposed a framework for verification of agents' abilities in asynchronous multi-agent systems (MAS), together with an algorithm for automated reduction of models. The semantics was built on the modeling tradition of distributed systems. As we show here, this can sometimes lead to counterintuitive interpretation of formulas when reasoning about the outcome of strategies. First, the semantics disregards finite paths, and yields unnatural evaluation of strategies with deadlocks. Secondly, the semantic representations do not allow to capture the asymmetry between proactive agents and the recipients of their choices. We propose how to avoid the problems by a suitable extension of the representations and change of the execution semantics for asynchronous MAS. We also prove that the model reduction scheme still works in the modified framework.

scholarly journals Stability and synchronization preserving model reduction of multi-agent systems

2013 ◽  
Vol 62 (1) ◽  
pp. 1-10 ◽  
Author(s):  
Nima Monshizadeh ◽  
Harry L. Trentelman ◽  
M. Kanat Camlibel
Keyword(s):  
Model Reduction ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent

Token-based Execution Semantics for Multi-Agent Epistemic Planning

2020 ◽  
Author(s):  
Thorsten Engesser ◽  
Robert Mattmüller ◽  
Bernhard Nebel ◽  
Felicitas Ritter
Keyword(s):  
Recent Work ◽  
World Knowledge ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Multi Agent ◽  
Planning Task ◽  
Subjective Perspective ◽  
Execution Semantics ◽  
Implicit Coordination

Epistemic planning has been employed as a means to achieve implicit coordination in cooperative multi-agent systems where world knowledge is distributed between the agents, and agents plan and act individually. However, recent work has shown that even if all agents act with respect to plans that they consider optimal from their own subjective perspective, infinite executions can occur. In this paper, we analyze the idea of using a single token that can be passed around between the agents and which is used as a prerequisite for acting. We show that introducing such a token to any planning task will prevent the existence of infinite executions. We furthermore analyze the conditions under which solutions to a planning task are preserved under our tokenization.

Adopting trust and assurance as indicators for the reassignment of responsibilities in multi-agent systems

2015 ◽  
Vol 30 (2) ◽  
pp. 187-200 ◽  
Author(s):  
Benjamin Gâteau ◽  
Moussa Ouedraogo ◽  
Christophe Feltus ◽  
Guy Guemkam ◽  
Grégoire Danoy ◽  
...  
Keyword(s):  
Distributed Systems ◽  
Weather Station ◽  
Multi Agent Systems ◽  
New Approach ◽  
Agent Systems ◽  
Trust Level ◽  
Proposed Model ◽  
Selection Parameter ◽  
Multi Agent

AbstractMulti-agent systems have been widely used in the literature, including for the monitoring of distributed systems. However, one of the unresolved issues in this technology remains in the reassignment of the responsibilities of monitoring agents when some of them become unable to meet their obligations. This paper proposes a new approach for solving this problem based on (a) the gathering of evidence on whether the agent can or cannot fulfil the tasks it has been assigned and (b) the reassignment of the task to alternative agents using their trust level as a selection parameter. A weather station case study is proposed as an instantiation of the proposed model.

Extending the JADE Framework for Semantic Peer-To-Peer Service Based Applications

2010 ◽  
pp. 18-35
Author(s):  
Agostino Poggi ◽  
Michele Tomaiuolo
Keyword(s):  
Distributed Systems ◽  
Peer To Peer ◽  
Legacy Systems ◽  
Software Framework ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Service Oriented ◽  
Multi Agent

One of the main challenges of multi-agent systems is to become the main means to support legacy systems interoperability and to make the realization of scalable distributed systems easy. In the last years, however, two technologies, peer-to-peer and service-oriented, have made an impressive progress and seem to have good chances of competing with multi-agent systems for the realization of scalable and interoperable systems. Conversely, neither of these two technologies is able to provide by themselves the autonomy and social and proactive capabilities of agents and thus the development of flexible adaptive distributed systems may be difficult. This chapter shows how JADE, one of the most known and used software framework for the development of multi-agent systems, has been extended with these technologies both to support the realization of multi-agent systems and to facilitate the interoperability with peer-to-peer and service-oriented systems.

Sign in / Sign up

Export Citation Format

Share Document