Intentions and assignments

Authors:
Emiliano Lorini;Mehdi Dastani;Hans Van Ditmarsch;Andreas Herzig;John-Jules Meyer
Affiliations:
Université de Toulouse, IRIT, CNRS, France;Utrecht University, The Netherlands;University of Sevilla, Spain and University of Otago;Université de Toulouse, IRIT, CNRS, France;Utrecht University, The Netherlands
Venue:
LORI'09 Proceedings of the 2nd international conference on Logic, rationality and interaction
Year:
2009

Citing 7
Cited 1

Intention is choice with commitment

Artificial Intelligence
Agent-oriented programming

Artificial Intelligence
A logical approach to the dynamics of commitments

Artificial Intelligence
Modal logic

Modal logic
Knowlege in action: logical foundations for specifying and implementing dynamical systems

Knowlege in action: logical foundations for specifying and implementing dynamical systems
Logics of communication and change

Information and Computation
Dynamic Epistemic Logic

Dynamic Epistemic Logic

A logical analysis of commitment dynamics

DEON'10 Proceedings of the 10th international conference on Deontic logic in computer science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.