An analysis of communication and cooperation in a logic of belief, intention, and action
Résumé
In this paper, we propose a logic for the dynamics of beliefs and intentions. We suppose that agents are cooperative, and interact both with communicative and physical actions. We built on an existing Dynamic Logic based solution to the frame problem, enabling in particular tableau theorem proving methods. This provides an alternative to recent approaches of Shapiro et al.
Origine : Fichiers produits par l'(les) auteur(s)