Intentions and assignments

Emiliano Lorini (1, 2) , Mehdi Dastani (3) , Hans Van Ditmarsch (4) , Andreas Herzig (1, 2) , John-Jules Meyer (3)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique
3 Universiteit Utrecht
4 Universidad de Sevilla = University of Seville

The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [3, 7]. The function of an assignment is to associate the truth value of a certain formula ϕ to a propositional atom p. We combine a static modal logic of belief and choice with three kinds of dynamic modalities and corresponding three kinds of assignments: assignments operating on an agent’s beliefs, assignments operating on the agent’s choices and assignments operating on the objective world. An agent’s intention is defined in our approach as the agent’s choice to perform a given action and two basic operations on intentions called intention generation and intention reconsideration are defined as specific kinds of assignments on choices.

Domaines: Intelligence artificielle [cs.AI]

Emiliano Lorini, Mehdi Dastani, Hans Van Ditmarsch, Andreas Herzig, John-Jules Meyer. Intentions and assignments. 2nd Workshop on Logic, Rationality and Interaction (LORI-II 2009), Oct 2009, Chongqing, China. pp.198-211, ⟨10.1007/978-3-642-04893-7_16⟩. ⟨hal-03526727⟩