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.

Chapter titleSynchronization protocols for reliable communication in fully distributed agent systems
AuthorsDunn-Davies, H., Cunningham, J. and Paurobally, S.
Abstract

In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction are consistent with each other at all times. In [7], Paurobally et al. proposed that these beliefs could be synchronized by adding a specialized protocol layer that incorporates protocols specifically designed to synchronize the agents' beliefs. Here we define the problem that such protocols would need to solve in the worst case, and prove it to be insoluble. We then consider the possibility of synchronizing the beliefs of groups of agents if it is assumed that the communication layer notifies the sender of a message whenever that message is not successfully delivered. Paurobally et al. proved that this assumption allows agents' beliefs to be synchronized in bilateral interactions. However, we prove that this assumption is insufficient to achieve belief synchronization in groups of three or more agents. Finally, we discuss the possibility of achieving adequate synchronization using probabilistic protocols.

Book titleAAMAS '08: Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems
Year2008
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems
Publication dates
Published2008
ISBN978098173812X
Web address (URL)http://portal.acm.org/citation.cfm?id=1402821.1402919&coll=GUIDE&dl=ACM&type=series&idx=SERIES134&part=series&WantType=Proceedings&title=AGENTS&CFID=73074763&CFTOKEN=29922125
Journal citation3, pp. 1539-1542

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

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.

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/91560/synchronization-protocols-for-reliable-communication-in-fully-distributed-agent-systems


Share this
Tweet
Email