Joint conversation specification and compliance

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 titleJoint conversation specification and compliance
AuthorsPaurobally, S. and Wooldridge, M.
EditorsBaldoni, 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.

Keywordsagent, belief, joint communicative action, protocol
Book titleDeclarative agent languages and technologies V: 5th international workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007 ; revised selected and invited papers
Year2008
PublisherSpringer
Publication dates
Published2008
Place of publicationBerlin
SeriesLecture notes in computer science
ISBN9783540775638
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
EventSixth International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2007)

Related outputs

Safety and liveness of component-oriented protocols: a feasibility study
Paurobally, S., Bolotov, A. and Getov, Vladimir 2010. Safety and liveness of component-oriented protocols: a feasibility study. in: Bolotov, A. (ed.) Proceedings of the automated reasoning workshop 2010: bridging the gap between theory and practice. ARW 2010 University of Westminster.

Trust negotiation and service level agreements
Paurobally, S. 2009. Trust negotiation and service level agreements. in: Gerndt, H.M., Rana, O.F., von Laszewski, G. and Ziegler, W. (ed.) Service Level Agreements in Grids Germany Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

An auctioning protocol for Facilitating VOs
Paurobally, S. 2008. An auctioning protocol for Facilitating VOs. in: Proceedings of the Eleventh International Conference on Integrated Design and Process Technology (IDPT), June 1-6, 2008 in Taichung, Taiwan SDPS.

Implementation of ontology for intelligent hospital ward
Kataria, P., Juric, R., Paurobally, S. and Madani, K. 2008. Implementation of ontology for intelligent hospital ward. in: Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 41), Hawaii, Big Island, US, January 7 - 10, 2008 IEEE . pp. 253-262

Synchronization protocols for reliable communication in fully distributed agent systems
Dunn-Davies, H., Cunningham, J. and Paurobally, S. 2008. Synchronization protocols for reliable communication in fully distributed agent systems. in: AAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems International Foundation for Autonomous Agents and Multiagent Systems.

A framework for web service negotiation
Paurobally, S., Tamma, V. and Wooldridge, M. 2007. A framework for web service negotiation. ACM Transactions on Autonomous and Adaptive Systems (TAAS). 2 (4), p. Article No. 14.

Negotiation for authorisation in virtual organisation
Paurobally, S. 2007. Negotiation for authorisation in virtual organisation. in: Etalle, S. and Marsh, S. (ed.) Trust management: proceedings of IFIPTM 2007, Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada New York, NY, USA Springer.

Web service negotiation in an insurance grid
Paurobally, S., van Aart, C., Tamma, V., Wooldridge, M. and Van Hapert, P. 2007. Web service negotiation in an insurance grid. in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, May 14 - 18, 2007 New York, NY, USA ACM. pp. Article No. 275

Joint conversation specification and compliance
Paurobally, S. and Wooldridge, M. 2007. Joint conversation specification and compliance. in: Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems, Honolulu, Hawaii, May 14 - 18, 2007 New York, NY, USA ACM. pp. Article No. 30

Towards service-oriented ontology-based coordination
Moyaux, T., Smith, B.L., Paurobally, S., Tamma, V. and Wooldridge, M. 2006. Towards service-oriented ontology-based coordination. in: Proceedings of the International Conference on Web Services (ICWS 2006) Los Alamitos, USA IEEE . pp. 265-274

Protocol engineering for web services conversations
Paurobally, S. and Jennings, N.R. 2005. Protocol engineering for web services conversations. Engineering Applications of Artificial Intelligence. 18 (2), pp. 237-254.

Developing agent Web service agreements
Paurobally, S. and Jennings, N.R. 2005. Developing agent Web service agreements. in: Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence Los Alamitos, USA IEEE . pp. 464-470

A formal framework for agent interaction semantics
Paurobally, S., Cunningham, J. and Jennings, N.R. 2005. A formal framework for agent interaction semantics. in: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, Utrecht University, the Netherlands, July 25-29, 2005 New York, USA ACM. pp. 91-98

The dMARS architechure: a specification of the distributed multi-agent reasoning system
d'Inverno, M., Luck, M., Georgeff, M., Kinny, D. and Wooldridge, M. 2004. The dMARS architechure: a specification of the distributed multi-agent reasoning system. Autonomous Agents and Multi-Agent Systems. 9 (1-2), pp. 5-53.

Automating negotiation for m-services
Paurobally, S., Turner, P.J. and Jennings, N.R. 2003. Automating negotiation for m-services. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans. 33 (6), pp. 709-724.

Ensuring consistency in the joint beliefs of interacting agents
Paurobally, S., Cunningham, J. and Jennings, N.R. 2003. Ensuring consistency in the joint beliefs of interacting agents. in: Rosenschein, J.S. (ed.) AAMAS03: proceedings of the second international joint conference on Autonomous agents and multiagent systems: July 14-18, 2003, Melbourne, Australia New York, USA ACM. pp. 662-669

Permalink - https://westminsterresearch.westminster.ac.uk/item/91789/joint-conversation-specification-and-compliance


Share this
Tweet
Email