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
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|
|Deposited On:||12 Oct 2007|
|Last Modified:||25 Jan 2010 16:17|
Repository Staff Only: item control page