Detecting Exceptions in Commitment Protocols: Discovering Hidden States

—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors of their agents. This means that when agents are working together, such as carrying out a business protocol, one agent’s misbehavior may potentially create an exception for another agent and obstruct its proper working. Faced with such an exception, an agent should be able to identify the problem by verifying the compliance of other agents. Previous work on verification of protocols unrealistically assume that participants have full knowledge of a protocol. However, when multiple agents enact a protocol, each agent has access to its part of the protocol and not more. This will require agents to check verification by querying others and more importantly by discovering the contracts between them. Here, we propose a commitment-based framework for detecting exceptions in which an agent augments its part of t...

• Type: Conference
• Year: 2009
• Where: LADS
• Authors: Özgür Kafali, Pinar Yolum
• Keywords: Autonomous Agents, Intelligent Agents, LADS 2009, Multiagent Systems, —Open Multiagent Systems