Chopra, Amit K. and Singh, Munindar P. (2009) Multiagent commitment alignment. In: Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09) :. AAMAS '09, 2 . International Foundation for Autonomous Agents and Multiagent Systems, Richland, S.C., pp. 937-944. ISBN 978-0-9817381-7-8
Full text not available from this repository.Abstract
Commitments provide a basis for understanding interactions in multiagent systems. Successful interoperation relies upon the interacting parties being aligned with respect to their commitments. However, alignment is nontrivial in a distributed system where agents communicate asynchronously and make different observations. We propose a formalization for commitments that ensures alignment despite asynchrony. This formalization consists of three elements: (1) a semantics of commitment operations; (2) messaging patterns that implement the commitment operations; and (3) weak constraints on agents' behaviors to ensure the propagation of vital information. We prove that our formalization ensures alignment. We illustrate the generality of our formalization with several real-life scenarios.