Intention change via local assignments - Université Toulouse 1 Capitole Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Intention change via local assignments

Résumé

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.
Fichier principal
Vignette du fichier
Intention change via local assignments.pdf (334.23 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03671078 , version 1 (18-05-2022)

Identifiants

Citer

Hans Van Ditmarsch, Tiago De Lima, Emiliano Lorini. Intention change via local assignments. 3rd international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS 2010), Aug 2010, Lyon, France. pp.136-151, ⟨10.1007/978-3-642-22723-3_8⟩. ⟨hal-03671078⟩
18 Consultations
32 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More