A logic of intention with cooperation principles and with assertive speech acts as communication primitives - Archive ouverte HAL
Communication Dans Un Congrès Année : 2002

A logic of intention with cooperation principles and with assertive speech acts as communication primitives

Résumé

We give a new logic of intention where (contrarily to Cohen&Levesque's approach) intention is a primitive modal operator having a non-normal possible worlds semantics. We then highlight the relation between intention and belief by a set of axioms. In our logic we formulate principles of cooperation allowing an agent to infer new intentions from his beliefs about other agents' intentions. Finally, building on results of linguistic pragmatics, we show that our cooperation principles allow to infer the effects of a yes-no question ``Does A hold?'' from that of an associated assertive ``I have the intention to know whether A''. In the same manner requests can be inferred, which form another important subclass of directives. It is the aim of this work to obtain a minimal logic that can be mechanized in a simple way.
Fichier principal
Vignette du fichier
A logic of intention with cooperation principles and with assertive speech acts as communication primitives.pdf (153.64 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03534107 , version 1 (19-01-2022)

Identifiants

Citer

Andreas Herzig, Dominique Longin. A logic of intention with cooperation principles and with assertive speech acts as communication primitives. 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Jul 2002, Bologna, Italy. pp.920-927, ⟨10.1145/544862.544954⟩. ⟨hal-03534107⟩
45 Consultations
191 Téléchargements

Altmetric

Partager

More