From Message Exchanges to Communicative Acts to Commitments

Our research aims at providing an alternative model of agent communication to the one proposed by the Foundation for Intelligent Physical Agents (FIPA). We adopt the mainstream perspective that views agent communication as the performance of communicative acts, but we shift the focus from agents' mental states to their social state. Starting from the FIPA Communicative Act Library, we provide a commitment-based semantics for a significant set of acts. This analysis leads to a classification of such acts that is to shed some light on topics that have not been dealt with in an effective way yet.

[1]  Alan Bundy,et al.  Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.

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

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

[4]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

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

[6]  Edgar A. Whitley,et al.  The Construction of Social Reality , 1999 .

[7]  Michael R. Genesereth,et al.  Software agents , 1994, CACM.

[8]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

[9]  Michael Wooldridge,et al.  Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.

[10]  Marco Colombetti,et al.  A commitment-based communicative act library , 2005, AAMAS '05.

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

[12]  C. Raymond Perrault,et al.  Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..

[13]  Patrick Brézillon,et al.  Lecture Notes in Artificial Intelligence , 1999 .

[14]  D. Gabbay,et al.  Handbook of Philosophical Logic, Volume II. Extensions of Classical Logic , 1986 .

[15]  Munindar P. Singh.  Agent Communication Languages: Rethinking the Principles , 1998, Computer.

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

[17]  Alan H. Bond,et al.  Readings in Distributed Artificial Intelligence , 1988 .

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

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