Multi-Agent Dialogue Protocols.
Christopher Walton · 2004
In this paper we propose a new agent communication language which separates agent dialogue from any speci c 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 de nes an implementation of the language. Our language speci cation is derived from process calculus and thus forms a sound basis for the veri cation of our agent protocols.