|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.|
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|
|Place of publication||Berlin|
|Series||Lecture notes in computer science|
|Digital Object Identifier (DOI)||doi: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)|