Tech Reports

ULCS-02-016

When are Two Protocols the Same?

Peter McBurney, Simon Parsons and Mark W. Johnson

Abstract

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.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.