Logics of time and computation
Logics of time and computation
Computability and logic: 3rd ed.
Computability and logic: 3rd ed.
Rules of encounter: designing conventions for automated negotiation among computers
Rules of encounter: designing conventions for automated negotiation among computers
Reasoning about knowledge
A note on reliable full-duplex transmission over half-duplex links
Communications of the ACM
Epistemic Logic for AI and Computer Science
Epistemic Logic for AI and Computer Science
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Synchronization protocols for reliable communication in fully distributed agent systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Reliable Group Communication and Institutional Action in a Multi-agent Trading Scenario
Agent Communication II
Multiagent commitment alignment
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
Propositional Statecharts for Agent Interaction Protocols
Electronic Notes in Theoretical Computer Science (ENTCS)
Protocol engineering for web services conversations
Engineering Applications of Artificial Intelligence
A scalable petri net representation of interaction protocols for overhearing
AC'04 Proceedings of the 2004 international conference on Agent Communication
Locutions for argumentation in agent interaction protocols
AC'04 Proceedings of the 2004 international conference on Agent Communication
A survey of flexible agent interaction approaches
Multiagent and Grid Systems
| Hi-index | 0.00 |
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.