First Steps for Determining Agent Intention in Dynamic Epistemic Logic

Nathalie Chetcuti-Sperandio, Alix Goudyme, Sylvain Lagrue, Tiago de Lima

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.

Download


Paper Citation


in Harvard Style

Chetcuti-Sperandio N., Goudyme A., Lagrue S. and de Lima T. (2020). First Steps for Determining Agent Intention in Dynamic Epistemic Logic.In Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-395-7, pages 717-724. DOI: 10.5220/0008991207170724


in Bibtex Style

@conference{icaart20,
author={Nathalie Chetcuti-Sperandio and Alix Goudyme and Sylvain Lagrue and Tiago de Lima},
title={First Steps for Determining Agent Intention in Dynamic Epistemic Logic},
booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2020},
pages={717-724},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008991207170724},
isbn={978-989-758-395-7},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - First Steps for Determining Agent Intention in Dynamic Epistemic Logic
SN - 978-989-758-395-7
AU - Chetcuti-Sperandio N.
AU - Goudyme A.
AU - Lagrue S.
AU - de Lima T.
PY - 2020
SP - 717
EP - 724
DO - 10.5220/0008991207170724