Intention et logique épistémique dynamique

Co-localisées avec la Plate-Forme Intelligence Artificielle (PFIA 2019)National audienceModeling intention is essential to explain decisions made by agents. In this work, we propose a model of intention in epistemic games, represented in dynamic epistemic logic. Given a property and a sequence of actions already performed by a player in such a game, we propose a method able to determine whether the player had the intention to obtain the property. An example of the method is given using a simplified version of the collaborative game Hanabi.Modéliser l’intention permet d’expliquer les décisions prises par des agents. Dans ce travail, nous proposons une modélisation de l’intention dans des jeux épistémiques représentés en logique épistémique dynamique. Étant données une propriété et une suite d’actions déjà réalisée par un joueur dans un tel jeu, nous proposons une méthode capable de déterminer si le joueur a eu l’intention d’obtenir cette propriété. Un exemple de l’utilisation de cette méthode est donné en utilisant une version simplifiée du jeu collaboratif Hanabi