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. © 2011 Springer-Verlag Berlin Heidelberg.
Cite
CITATION STYLE
Van Ditmarsch, H., De Lima, T., & Lorini, E. (2011). Intention change via local assignments. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6822 LNAI, pp. 136–151). https://doi.org/10.1007/978-3-642-22723-3_8
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
