A commitment-based communicative act library

The Agent Communication Language (ACL) proposed by the Foundation for Intelligent Physical Agents (FIPA) is the most complete attempt to create a universally accepted standard so far. Nevertheless, this standard shows some shortcomings which are probably hindering an even greater impact upon the scientific research dealing with multiagent systems. Although agreeing with the mainstream view that analyzes agent communication in terms of communicative acts, we part from FIPA's assumptions about the semantics, as we shift the focus from affecting communicating agents' mental states to modifying the commitments binding them to each other. We show that our commitment-based frame-work is powerful enough to allow for the main FIPA communicative acts and provides a semantics which overcomes some of the problems that are currently affecting the standard.

[1]  Mark Reynolds.  More Past Glories , 2000, LICS 2000.

[2]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[3]  Marco Colombetti,et al.  A logical model of social commitment for agent communication , 2003, AAMAS '03.

[4]  Hans Reichenbach,et al.  Elements of symbolic logic , 1948 .

[5]  Marek J. Sergot,et al.  A Formal Characterisation of Institutionalised Power , 1996, Log. J. IGPL.

[6]  Marco Colombetti,et al.  Dealing with Time in Content Language Expressions , 2004, AC.

[7]  Philippe Schnoebelen,et al.  A Hierarchy of Temporal Logics with Past , 1995, Theor. Comput. Sci..

[8]  R. Thomason.  Combinations of Tense and Modality , 2002 .

[9]  J. Searle.  The Construction of Social Reality , 1997 .

[10]  Munindar P. Singh,et al.  Resolving Commitments among Autonomous Agents , 2003, Workshop on Agent Communication Languages.

[11]  Xavier Parent,et al.  Conventional Signalling Acts and Conversation , 2003, Workshop on Agent Communication Languages.

[12]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.