Représentation symbolique pour la logique épistémique dynamique probabiliste - GREYC mad Access content directly
Theses Year : 2022

Symbolic representation for probabilistic dynamic epistemic logic

Représentation symbolique pour la logique épistémique dynamique probabiliste

Abstract

This thesis deals with the study of the practical application of the probabilistic dynamic epistemic logic, allowing to represent the knowledge of agents about the knowledge of other agents by using probabilities. For this, based on the state of the art of symbolic model checking, we propose an encoding of Kripke structures and event structures of our logic via boolean functions and pseudo-Boolean functions. We have implemented our definitions by using adapted data structures: Algebraic Decision Diagrams, which generalize the classical Binary Decision Diagrams by allowing the manipulation of probabilities. Thanks to this implementation, we have been able to conduct experiments that have allowed us to show that our symbolic representation scales better than the explicit version on the Hanabi card game example.
Cette thèse porte sur l'étude de la mise en pratique de la logique épistémique dynamique probabiliste, permettant de représenter les connaissances des agents à propos des connaissances des autres agents en utilisant des probabilités. Pour cela, en nous appuyant sur l'état de l'art du model checking symbolique, nous proposons un encodage des structures de Kripke et structures d'événements de notre logique via des fonctions booléennes et fonction pseudo-booléennes. Nous avons implémenté nos définitions en utilisant des structures de données adaptées : les Algebraic Decision Diagrams, qui généralisent les classiques Binary Decision Diagrams en permettant de manipuler des probabilités. Grâce à cette implémentation, nous avons pu mener des expérimentations qui nous ont permis de montrer que notre représentation symbolique passe mieux à l'échelle que la version explicite sur l'exemple du jeu de cartes Hanabi.
Fichier principal
Vignette du fichier
sygal_fusion_30427-gamblin-sebastien_6440f47cd5592.pdf (3.76 Mo) Télécharger le fichier
Origin : Version validated by the jury (STAR)

Dates and versions

tel-04075437 , version 1 (20-04-2023)

Identifiers

  • HAL Id : tel-04075437 , version 1

Cite

Sebastien Gamblin. Représentation symbolique pour la logique épistémique dynamique probabiliste. Intelligence artificielle [cs.AI]. Normandie Université, 2022. Français. ⟨NNT : 2022NORMC266⟩. ⟨tel-04075437⟩
38 View
38 Download

Share

Gmail Facebook X LinkedIn More