Semantics and Conversations for an Agent Communication Language

TL;DR

This paper develops a formal semantic framework for KQML, integrating speech act theory to describe agent communication and conversation protocols, enhancing understanding of communication among software agents.

Contribution

It introduces a speech act theory-based semantic description for KQML and formalizes conversation policies using Definite Clause Grammars, advancing agent communication protocols.

Findings

Semantic description for all KQML performatives

Formalized conversation policies with Definite Clause Grammars

Methods for protocol specification based on speech act theory

Abstract

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 Definite Clause Grammar. Our research offers methods for a speech act theory-based semantic description of a language of communication acts and for the specification 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.