Checking Agent Intentions in Games - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Checking Agent Intentions in Games

Résumé

Rational agents' decisions are driven by their intentions, in the sense that agents execute actions that most probably lead to situations where their intentions are achieved. Using that insight, this paper proposes a method for 'intention checking': let a description of a game, a state and the action executed by the agent at that state be given, the method checks whether the agent acted with the intention to reach a situation where some proposition 'p' is true. We use a logic with epistemic and temporal operators to reason about games and extend it with an intention operator 'IX'. Formulas of the form 'IX(p)' are defined to be true in the situations where the intention check method verifies that the agent acts with the intention to achieve 'p' in the next state of the game. We show that this operator satisfies the principles of Bratman's Asymmetry Thesis, and we also compare it to other theories of intention.
Fichier principal
Vignette du fichier
main.pdf (302.53 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03571968 , version 1 (25-02-2022)

Identifiants

Citer

Nathalie Chetcuti-Sperandio, Alix Goudyme, Tiago de Lima, Sylvain Lagrue. Checking Agent Intentions in Games. 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021), Nov 2021, Washington, DC, United States. pp.815-822, ⟨10.1109/ICTAI52525.2021.00130⟩. ⟨hal-03571968⟩
81 Consultations
129 Téléchargements

Altmetric

Partager

More