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
