Beliefs, intentions, speech acts and topics
Résumé
We study the dynamics of belief in cooperative task-oriented man-machine dialogues. We suppose that during the dialogue each participant can mistake a piece of information, forget it or simply change his mind. We begin with some hypotheses about the participants, and present some approaches. We point out shortcomings of the latter and introduce a new logic of speech acts, beliefs and intentions, where intentions have a non-normal modal logic. We focus on the interactions between these modal operators. Our basic notion is that of a topic: we suppose that we can associate a set of topics to every agent, speech act and formula. This allows to express an agent's competence, belief adoption and preservation.
Origine : Fichiers produits par l'(les) auteur(s)