Intention change via local assignments

Authors:
Hans van Ditmarsch;Tiago de Lima;Emiliano Lorini
Affiliations:
University of Sevilla, Spain;CRIL, University of Artois and CNRS, France;IRIT, CNRS, France
Venue:
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Year:
2010

Citing 13
Cited 0

Intention is choice with commitment

Artificial Intelligence
Reasoning about knowledge

Reasoning about knowledge
A logical approach to the dynamics of commitments

Artificial Intelligence
Modal logic

Modal logic
Collective intentions

Fundamenta Informaticae
The logic of public announcements, common knowledge, and private suspicions

TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Dynamic Goal Hierarchies

PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
Logics of communication and change

Information and Computation
Dynamic Epistemic Logic

Dynamic Epistemic Logic
Intention guided belief revision

AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
The semantics of intention maintenance for rational agents

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A logical framework for prioritized goal change

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
A Logical Model of Intention and Plan Dynamics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Quantified Score

Hi-index	0.01

Visualization

Abstract

We present a logical approach to intention change. Inspired by Bratman's theory, we define intention as the choice to perform a given action at a certain time point in the future. This notion is modeled in a modal logic containing a temporal modality and modal operators for belief and choice. Intention change is then modeled by a specific kind of dynamic operator, that we call 'local assignment'. This is an operation on the model that changes the truth value of atomic formulae at specific time points. Two particular kinds of intention change are considered in some detail: intention generation and intention reconsideration.