A Symbolic Representation for Probabilistic Dynamic Epistemic Logic
Résumé
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.
| Origine | Fichiers produits par l'(les) auteur(s) |
|---|---|
| Licence |