WestminsterResearch

Joint conversation specification and compliance

Paurobally, Shamimabi and Wooldridge, Michael (2008) Joint conversation specification and compliance. In: Baldoni, Matteo and Son, Tran Cao and van Riemsdijk , M. Birna and Winikoff, Michael, (eds.) 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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:4464
Deposited On:12 Oct 2007
Last Modified:25 Jan 2010 16:17

Repository Staff Only: item control page