Intention et logique épistémique dynamique - Archive ouverte HAL Access content directly
Conference Papers Year : 2019

Intention and dynamic epistemic logic

Intention et logique épistémique dynamique

Abstract

Modeling 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.
Fichier principal
Vignette du fichier
rjcia2019-01.pdf (613.51 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-02161427 , version 1 (20-06-2019)

Identifiers

  • HAL Id : hal-02161427 , version 1

Cite

Alix Goudyme, Nathalie Chetcuti-Sperandio, Sylvain Lagrue, Tiago de Lima. Intention et logique épistémique dynamique. Rencontres des Jeunes Chercheurs en Intelligence Artificielle (RJCIA 2019), Jul 2019, Toulouse, France. pp.1-9. ⟨hal-02161427⟩
168 View
368 Download

Share

Gmail Facebook X LinkedIn More