A Convention-based Approach to Agent Communication Languages

TY - JOUR

T1 - A Convention-based Approach to Agent Communication Languages

AU - Jones, Andrew J I

AU - Parent, Xavier

PY - 2007/3

Y1 - 2007/3

N2 - This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approaches to communication, this account is neither intention-based nor commitment-based, but convention-based. Next we explore ways of embedding that theory within an account of conversation. We move here from an account of the basic types of communicative act (the statics of communication) to an account of their role in sequences of exchanges in communicative interaction (the dynamics of communication). Finally, we apply the framework to the analysis of conversational protocols such as the English auction protocol. We propose to give a compact expression of conversation protocols by means of a formula of the object language. We also use this kind of representation to provide the basis for a procedure for keeping a record of the conventional effects achieved in a conversation. A corresponding axiomatic presentation is given, and shown to be sound and complete with respect to our proposed semantics.

AB - This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approaches to communication, this account is neither intention-based nor commitment-based, but convention-based. Next we explore ways of embedding that theory within an account of conversation. We move here from an account of the basic types of communicative act (the statics of communication) to an account of their role in sequences of exchanges in communicative interaction (the dynamics of communication). Finally, we apply the framework to the analysis of conversational protocols such as the English auction protocol. We propose to give a compact expression of conversation protocols by means of a formula of the object language. We also use this kind of representation to provide the basis for a procedure for keeping a record of the conventional effects achieved in a conversation. A corresponding axiomatic presentation is given, and shown to be sound and complete with respect to our proposed semantics.

U2 - 10.1007/s10726-006-9059-1

DO - 10.1007/s10726-006-9059-1

M3 - Article

VL - 16

SP - 101

EP - 141

JO - GROUP DECISION AND NEGOTIATION

JF - GROUP DECISION AND NEGOTIATION

IS - 2

ER -