A New Semantics for the FIPA Agent Communication Language based on Social Attitudes

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

1 IRIT-SMAC - Systèmes Multi-Agents Coopératifs
2 UT Capitole - Université Toulouse Capitole
3 IRIT-LILaC - Logique, Interaction, Langue et Calcul
4 CNRS - Centre National de la Recherche Scientifique
5 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich

One of the most important aspects of the research on agent interaction is the definition of agent communication languages (ACLs), and the specification of a proper formal semantics of such languages is a crucial prerequisite for the usefulness and acceptance of artificial agency. Nevertheless, those ACLs which are still mostly used, especially the standard FIPA-ACL, have a communication act semantics in terms of the participating agents' mental attitudes (viz. beliefs and intentions), which are in general undeterminable from an external point of view due to agent autonomy. In contrast, semantics of ACLs based on commitments are fully verifiable, but not sufficiently formalized and understood yet. In order to overcome this situation, we propose a FIPA-ACL semantics which is fully verifiable, fully formalized, lean and easily applicable. It is based on social attitudes represented using a logic of grounding in straightforward extension of the BDI agent model.

Mots clés: grounding; ACL; Modal logic; social semantics

Domaines: Intelligence artificielle [cs.AI]; Logique en informatique [cs.LO]

Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles. A New Semantics for the FIPA Agent Communication Language based on Social Attitudes. 17th European Conference on Artificial Intelligence (ECAI 2006), Aug 2006, Trento, Italy. pp.245-249. ⟨hal-03537159⟩