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

Chapter titleEnsuring consistency in the joint beliefs of interacting agents
AuthorsPaurobally, S., Cunningham, J. and Jennings, N.R.
EditorsRosenschein, J.S.
Abstract

Agent interaction in realistic applications is subject to many forms of uncertainty - including information and network uncertainty, trust of and conflicts with other participants, lack of stability in a deal and risks about agreements and commitments. However, one of the most common forms of uncertainty occurs when a group has divergent beliefs about the interaction they are engaged in -- some agents believe an agreement has been reached, while others believe it has been rejected or that they are still bargaining. Such misunderstandings can arise because of loss of network performance, spurious connections, message loss or delays. Against this background, this paper develops synchronisation protocols for a group of agents to attain the same beliefs about an interaction, independent of the reliability of the underlying communication layer. This paper includes and proves theorems about a group's mutual beliefs, on which the safety of an interaction relies. Specifically, protocols for message exchange and belief revision and the reasoning for reachability of states during interactions are presented. Each protocol is proved to show that an increasing level of mutual and consistent belief is reached, thereby guaranteeing an interaction's integrity.

Book titleAAMAS03: proceedings of the second international joint conference on Autonomous agents and multiagent systems: July 14-18, 2003, Melbourne, Australia
Page range662-669
Year2003
PublisherACM
Publication dates
Published2003
Place of publicationNew York, USA
ISBN1581136838
Digital Object Identifier (DOI)doi:10.1145/860575.860682
Web address (URL)http://doi.acm.org/10.1145/860575.860682

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.

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.

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

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.

Permalink - https://westminsterresearch.westminster.ac.uk/item/93917/ensuring-consistency-in-the-joint-beliefs-of-interacting-agents


Share this
Tweet
Email