Paurobally, S. and Wooldridge, M. 2008. Joint conversation specification and compliance. in: Baldoni, M., Son, T.C., van Riemsdijk, M.B. and Winikoff, M. (ed.) Declarative agent languages and technologies V: 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 ; revised selected and invited papers Berlin Springer.
| Chapter title | Joint conversation specification and compliance |
|---|---|
| Authors | Paurobally, S. and Wooldridge, M. |
| Editors | Baldoni, M., Son, T.C., van Riemsdijk, M.B. and Winikoff, M. |
| 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. |
| Keywords | agent, belief, joint communicative action, protocol |
| Book title | Declarative agent languages and technologies V: 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 ; revised selected and invited papers |
| Year | 2008 |
| Publisher | Springer |
| Publication dates | |
| Published | 2008 |
| Place of publication | Berlin |
| Series | Lecture notes in computer science |
| ISBN | 9783540775638 |
| Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-540-77564-5_2 |
| Web address (URL) | http://dx.doi.org/10.1007/978-3-540-77564-5 |
| Journal citation | (4897), pp. 18-35 |
| Event | Sixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007) |