In this paper we propose a new agent communication language which separates agent dialogue from any specific agent reasoning technology. This language is intended to address a number of perceived shortcomings with the mentalistic model of agent communication on which the FIPA-ACL standard is founded. Our language expresses inter-agent dialogue through the use of agent protocols, and is intended to be independent of the technology used for message delivery. In this paper we specify the syntax of our communication language, together with an operation semantics which defines an implementation of the language. Our language specification is derived from process calculus and thus forms a sound basis for the verification of our agent protocols.
Christopher D. Walton