A Symbolic Representation for Probabilistic Dynamic Epistemic Logic - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

A Symbolic Representation for Probabilistic Dynamic Epistemic Logic

Sebastien Gamblin
  • Function : Author
  • PersonId : 1248794
  • IdRef : 269220291
Maroua Bouzid
  • Function : Author
  • PersonId : 937435


ABSTRACT Probabilistic Dynamic Epistemic Logic (PDEL) is a formalism for reasoning about the higher-order probabilistic knowledge of agents, and about how this knowledge changes when events occur. While PDEL has been studied for its theoretical appeal, it was only ever applied to toy examples: the combinatorial explosion of probabilis- tic Kripke structures makes the PDEL framework impractical for realistic applications, such as card games. This paper is a first step towards the use of PDEL in more practi- cal settings: in line with recent work applying ideas from symbolic model checking to (non-probabilistic) DEL, we propose a “symbolic” representation of probabilistic Kripke structures as pseudo-Boolean functions, which can be represented with several data structures of the decision diagram family, in particular Algebraic Decision Diagrams (ADDs). We show that ADDs scale much better than explicit Kripke structures, and that they allow for efficient symbolic model checking, even on the realistic example of the Hanabi card game, thus paving the way towards the practical application of epistemic planning techniques.
Fichier principal
Vignette du fichier
AAMAS22_GNB.pdf (982.7 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-04524135 , version 1 (27-03-2024)



Sebastien Gamblin, Alexandre Niveau, Maroua Bouzid. A Symbolic Representation for Probabilistic Dynamic Epistemic Logic. 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), May 2022, Auckland (Nouvelle-Zélande), New Zealand. ⟨10.5555/3535850.3535901⟩. ⟨hal-04524135⟩
10 View
2 Download



Gmail Facebook X LinkedIn More