Joint conversation specification and compliance

Authors:
Shamimabi Paurobally;Michael J. Wooldridge
Affiliations:
University of Liverpool, Liverpool, UK;University of Liverpool, Liverpool, UK
Venue:
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Year:
2007

Citing 2
Cited 0

Logics of time and computation

Logics of time and computation
Designing Conversation Policies using Joint Intention Theory

ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems

Quantified Score

Hi-index	0.01

Visualization

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 Communicative Acts (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.