Intention Dynamics -preliminary report-
Résumé
The aim of this paper is to describe the evolution of an agent’s intentions in cooperative contexts. The role of intentions in BDI architectures being to ensure stable behaviour of agents, they must nevertheless be abandoned when they are fulfilled. The other way round, new intentions must be generated (in particular in order to respect cooperation principles).
We propose a logic of knowledge, intention and action. Building on Scherl & Levesque’s solution to the frame problem for knowledge, we give a new solution to the frame problem for intentions in terms of axioms regulating preservation, abandonment, and cooperative generation of intentions.
Origine : Fichiers produits par l'(les) auteur(s)