Skip to Main content Skip to Navigation
Conference papers

First Steps for Determining Agent Intention in Dynamic Epistemic Logic

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 illustration of the method is given using a simplified version of the collaborative game Hanabi.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download
Contributor : Sylvain Lagrue <>
Submitted on : Wednesday, September 23, 2020 - 11:54:39 AM
Last modification on : Wednesday, October 21, 2020 - 2:23:33 PM
Long-term archiving on: : Thursday, December 3, 2020 - 3:55:31 PM


Publisher files allowed on an open archive



Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima. First Steps for Determining Agent Intention in Dynamic Epistemic Logic. 12th International Conference on Agents and Artificial Intelligence (ICAART 2020), Feb 2020, Valletta, Malta. pp.725-733, ⟨10.5220/0008991207170724⟩. ⟨hal-02946618⟩



Record views


Files downloads