Reachability Games in Dynamic Epistemic Logic

05/29/2019
by   Bastien Maubert, et al.
0

We define reachability games based on Dynamic Epistemic Logic (DEL), where the players' actions are finely described as DEL action models. We first consider the setting where an external controller with perfect information interacts with an environment and aims at reaching some epistemic goal state regarding the passive agents of the system. We study the problem of strategy existence for the controller, which generalises the classic epistemic planning problem, and we solve it for several types of actions such as public announcements and public actions. We then consider a yet richer setting where agents themselves are players, whose strategies must be based on their observations. We establish several (un)decidability results for the problem of existence of a distributed strategy, depending on the type of actions the players can use, and relate them to results from the literature on multiplayer games with imperfect information.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/20/2020

Dynamic Epistemic Logic Games with Epistemic Temporal Goals

Dynamic Epistemic Logic (DEL) is a logical framework in which one can de...
research
05/20/2021

Epistemic Planning with Attention as a Bounded Resource

Where information grows abundant, attention becomes a scarce resource. A...
research
12/27/2017

Deviator Detection under Imperfect Monitoring

Grim-trigger strategies are a fundamental mechanism for sustaining equil...
research
02/17/2020

Synthesis of Deceptive Strategies in Reachability Games with Action Misperception

We consider a class of two-player turn-based zero-sum games on graphs wi...
research
08/07/2019

Dealing with imperfect information in Strategy Logic

We propose an extension of Strategy Logic (SL), in which one can both re...
research
12/07/2015

From rules to runs: A dynamic epistemic take on imperfect information games

In the literature of game theory, the information sets of extensive form...
research
10/10/2022

Communication between agents in dynamic epistemic logic

This manuscript studies actions of communication between epistemic logic...

Please sign up or login with your details

Forgot password? Click here to reset