Reasoning about knowledge
A tradeoff between safety and liveness for randomized coordinated attack
Information and Computation
Agent aided aircraft maintenance
Proceedings of the third annual conference on Autonomous Agents
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Some constraints and tradeoffs in the design of network communications
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Ensuring consistency in the joint beliefs of interacting agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Utility-based multi-agent system for performing repeated navigation tasks
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Scalable and reliable data delivery in mobile ad hoc sensor networks
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
How to safely close a discussion
Information Processing Letters
| Hi-index | 0.00 |
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.