Tech Reports


When are Two Protocols the Same?

Peter McBurney, Simon Parsons and Mark W. Johnson


A number of protocols based on the formal dialogue games of philosophy have recently been proposed for interactions between autonomous agents. Several of these proposals purport to assist agents engaged in the same types of interactions, such as persuasions and negotiations, and are superficially different. How are we to determine whether or not these proposals are substantially different? This paper considers this question and explores several alternative definitions of equivalence of protocols. Keywords: Dialogue Games, Interaction protocols, Agent communications languages.

[Full Paper]