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.

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.

Towards a Hybrid MAS Organizational Model

2017 ◽  
Vol 7 (4) ◽  
pp. 18-50 ◽  
Author(s):  
Hosny A. Abbas ◽  
Samir Shaheen
Keyword(s):  
Recent Work ◽  
Conceptual Design ◽  
Multi Agent Systems ◽  
Organizational Model ◽  
Organizational Models ◽  
Agent Based ◽  
Agent Systems ◽  
Advantages And Disadvantages ◽  
Multi Agent ◽  
Micro Level

The organizational aspects are currently getting a great attention within the multi-agent systems (MAS) community. The motivation towards this trend is finding a way to handle the increasing complexity and distribution of modern agent-based applications using higher order abstractions such as agent organizations. It is a transition from concerning the micro level (individual agents) to concerning the macro level (the whole system) to handle complexity. A large number of MAS organizational models can be found in MAS literature. Some of them adopt the ACMAS (Agent-Centered MAS) viewpoint and others adopt the OCMAS (Organizational-Centered MAS) viewpoint. Each of the ACMAS and OCMAS viewpoints has its advantages and disadvantages; therefore, combining them into a hybrid model is expected to give us the chance to take benefit of their advantages and avoid their disadvantages. This chapter presents our recent work towards the conceptual design of a hybrid MAS organizational model that combines both of the ACMAS and OCMAS viewpoints.

Sign in / Sign up

Export Citation Format

Share Document