WestminsterResearch

Ensuring consistency in the joint beliefs of interacting agents

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

Full text not available from this repository.

Official URL: http://doi.acm.org/10.1145/860575.860682

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.

Item Type:Book Section
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:4381
Deposited On:05 Jul 2007
Last Modified:20 Oct 2009 13:02

Repository Staff Only: item control page