Abstract
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 the protocol with its knowledge to construct states that are previously hidden to the agent by generating possible commitments between other agents. The agent then queries others to confirm those states. Our framework is built using C+ and Java, and is tested using a realistic delivery scenario.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Singh, M.P.: An ontology for commitments in multiagent systems: Toward a unification of normative concepts. Artificial Intelligence and Law 7, 97–113 (1999)
Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)
Chopra, A.K., Singh, M.P.: Contextualizing commitment protocols. In: AAMAS 2006: Proceedings of the fifth international joint conference on Autonomous Agents and Multiagent Systems, pp. 1345–1352. ACM, New York (2006)
Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS 2002: Proceedings of the first international joint conference on Autonomous Agents and Multiagent Systems, pp. 527–534. ACM, New York (2002)
Desai, N., Chopra, A.K., Arrott, M., Specht, B., Singh, M.P.: Engineering foreign exchange processes via commitment protocols. In: International Conference on Services Computing (IEEE SCC), pp. 514–521 (2007)
Mallya, A.U., Singh, M.P.: Modeling exceptions via commitment protocols. In: AAMAS 2005: Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, pp. 122–129. ACM, New York (2005)
Venkatraman, M., Singh, M.P.: Verifying compliance with commitment protocols. Autonomous Agents and Multiagent Systems 2(3), 217–236 (1999)
Jonge, F.D., Roos, N., Witteveen, C.: Diagnosis of multi-agent plan execution. In: Fischer, K., Timm, I.J., André, E., Zhong, N. (eds.) MATES 2006. LNCS (LNAI), vol. 4196, pp. 86–97. Springer, Heidelberg (2006)
Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The sciff framework. ACM Transactions on Computational Logic 9(4), 1–43 (2008)
Lomuscio, A., Qu, H., Solanki, M.: Towards verifying compliance in agent-based web service compositions. In: Proceedings of 7th International Conference on Autonomous Agents and Multiagent Systems (AAMAS), pp. 265–272 (2008)
Guerin, F., Pitt, J.: Agent communication frameworks and verification. In: AAMAS 2002 Workshop on Agent Communication Languages (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kafalı, Ö., Yolum, P. (2010). Detecting Exceptions in Commitment Protocols: Discovering Hidden States. In: Dastani, M., El Fallah Segrouchni, A., Leite, J., Torroni, P. (eds) Languages, Methodologies, and Development Tools for Multi-Agent Systems. LADS 2009. Lecture Notes in Computer Science(), vol 6039. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13338-1_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-13338-1_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13337-4
Online ISBN: 978-3-642-13338-1
eBook Packages: Computer ScienceComputer Science (R0)