12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

Home > Research > Publications & Outputs > Multiagent commitment alignment
View graph of relations

« Back

Multiagent commitment alignment

Research output: Contribution in Book/Report/ProceedingsPaper

Published

Publication date2009
Host publicationProceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09)
Place of publicationRichland, S.C.
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems
Pages937-944
Number of pages8
Volume2
ISBN (Print)978-0-9817381-7-8
Original languageEnglish

Publication series

NameAAMAS '09
PublisherInternational Foundation for Autonomous Agents and Multiagent Systems

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.