Intention et logique épistémique dynamique

Modeliser l’intention permet d’expliquer les decisions prises par des agents. Dans ce travail, nous proposons une modelisation de l’intention dans des jeux epistemiques representes en logique epistemique dynamique. Etant donnees une propriete et une suite d’actions deja realisee par un joueur dans un tel jeu, nous proposons une methode capable de determiner si le joueur a eu l’intention d’obtenir cette propriete. Un exemple de l’utilisation de cette methode est donne en utilisant une version simplifiee du jeu collaboratif Hanabi.