Joint conversation specification and compliance

Paurobally, Shamimabi and Wooldridge, Michael (2008) Joint conversation specification and compliance. In: Declarative agent languages and technologies V: 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 ; revised selected and invited papers. Lecture notes in computer science (4897). Springer, Berlin, pp. 18-35. ISBN 9783540775638

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-3-540-77564-5

Abstract

Formal specifications of protocol-oriented agent interactions have focused mainly on the semantics of the constituent agent communication language (ACL). We argue that a proper theoretical treatment of conversations cannot be simply derived compositionally from the semantics of individual CAs. Accordingly, we develop a theory of joint conversations that is independent of its constituent CAs. We treat the process of a group following an interaction protocol as a persistent joint communicative action (JCA) by the group. We define compliance in a joint conversation and we prove salient properties of joint conversations.

Item Type: Book Section
Uncontrolled Keywords: agent, belief, joint communicative action, protocol
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Users 6000 not found.
Date Deposited: 12 Oct 2007
Last Modified: 25 Jan 2010 16:17
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/4464

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)