Semantics and Conversations for an Agent Communication Language

We address the issues of semantics and conversations for agent communication languages and the Knowledge Query Manipulation Language (KQML) in particular. Based on ideas from speech act theory, we present a semantic description for KQML that associates \cognitive" states of the agent with the use of the language's primitives (performatives). We have used this approach to describe the semantics for the whole set of reserved KQML performatives. Building on the semantics, we devise the conversation policies, i.e., a formal description of how KQML performatives may be combined into KQML exchanges (conversations), using a De nite Clause Grammar. Our research o ers methods for a speech act theory-based semantic description of a language of communication acts and for the speci cation of the protocols associated with these acts. Languages of communication acts address the issue of communication among software applications at a level of abstraction that is useful to the emerging software agents paradigm.

[1]  Munindar P. Singh,et al.  A logic of intentions and beliefs , 1993, J. Philos. Log..

[2]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[3]  Mark S. Fox,et al.  COOL: A Language for Describing Coordination in Multi Agent Systems , 1995, ICMAS.

[4]  A. White.  How to do things with words , 1963 .

[5]  Mike Williamson,et al.  Matchmaking and Brokering , 1996 .

[6]  Timothy W. Finin,et al.  Semantics for an Agent Communication Language , 1997, ATAL.

[7]  Kazuhiro Kuwabara,et al.  AgenTalk: Coordination Protocol Description for Multiagent Systems , 1995, ICMAS.

[8]  Philip R. Cohen,et al.  Toward a Semantics for an Agent Communications Language Based on Speech-Acts , 1996, AAAI/IAAI, Vol. 1.

[9]  Daniel Vanderveken,et al.  Foundations of Illocutionary Logic , 1985 .

[10]  Madeleine Bates,et al.  The Theory and Practice of Augmented Transition Network Grammars , 1978, Natural Language Communication with Computers.

[11]  Hyacinth S. Nwana,et al.  Software agents: an overview , 1996, The Knowledge Engineering Review.

[12]  Jeffrey M. Bradshaw,et al.  KAoS: toward an industrial-strength open agent architecture , 1997 .

[13]  H. Van Dyke Parunak,et al.  Visualizing Agent Conversations: Using Enhanced Dooley Graphs for Agent Design and Analysis , 1996 .

[14]  J. Davenport.  Editor , 1960 .

[15]  M. David Sadek,et al.  A Study in the Logic of Intention , 1992, KR.

[16]  Fernando Pereira,et al.  Definite clause grammars for language analysis , 1986 .

[17]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[18]  Charles J. Petrie,et al.  Agent-Based Engineering, the Web, and Intelligence , 1996, IEEE Expert.

[19]  Philip R. Cohen,et al.  Communicative Actions for Artiicial Agents , 1995 .

[20]  Verzekeren Naar Sparen,et al.  Cambridge , 1969, Humphrey Burton: In My Own Time.