Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009)

Benoit Gaudou (1, 2, 3) , Andreas Herzig (4, 5) , Dominique Longin (4, 5)

1 UMMISCO - Unité de modélisation mathématique et informatique des systèmes complexes [Bondy]
2 IFI - Institut de la francophonie pour l'informatique
3 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
4 IRIT-LILaC - Logique, Interaction, Langue et Calcul
5 CNRS - Centre National de la Recherche Scientifique

Nowadays most of the Agent Communication Languages are no longer defined in terms of the agents' mental attitudes, but in terms of social commitments, which avoids strong hypotheses on the agents' internal states and thus allows verification of the semantics. While social approaches have attracted a lot of attention, two drawbacks remain. First, the notion of commitment does not have a clear and unambiguous characterization. Second, commitments are completely unrelated to the agents' reasoning. The aim of this paper is to propose a solution for these two problems based on a combination of a BDI (Belief, Desire, Intention) logic with a logic of what is publicly grounded between agents.

Mots clés: Agent communication languages; modal logic; grounding; commitments; BDI logic; speech act theory

Domaines: Intelligence artificielle [cs.AI]

Benoit Gaudou, Andreas Herzig, Dominique Longin. Logical formalization of social commitments: Application to agent communication languages (long version of AAMAS 2009). [Research Report] IRIT/RR–2009-14–FR, IRIT : Institut de Recherche Informatique de Toulouse. 2009. ⟨hal-03474455⟩