dialogue games, interaction protocols, agent communications languages
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.
McBurney, Peter; Parsons, Simon; and Johnson, Mark W., "When Are Two Protocols the Same?" (2002). Mathematics. Paper 1.