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

Andreas Herzig (1, 2) , Dominique Longin (1, 2)

1 IRIT-LILaC - Logique, Interaction, Langue et Calcul
2 CNRS - Centre National de la Recherche Scientifique

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.

Mots clés: logic of intention; speech act; dialogue; interaction; belief; and action; cognitive robotics; cooperation

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]; Informatique et langage [cs.CL]

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⟩