First Steps for Determining Agent Intention in Dynamic Epistemic Logic
Résumé
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.
| Origine | Fichiers éditeurs autorisés sur une archive ouverte |
|---|
Loading...