Clouseau : Generating Communication Protocols from Commitments

Singh, Munindar P. and Chopra, Amit K. (2020) Clouseau : Generating Communication Protocols from Commitments. In: Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence :. Proceedings of the AAAI Conference on Artificial Intelligence . AAAI, New York, pp. 7244-7252. ISBN 9781577358350

Text (Clouseau-AAAI)
Clouseau_AAAI.pdf - Accepted Version
Available under License Creative Commons Attribution-NonCommercial.
Download (329kB)

Abstract

Engineering a decentralized multiagent system (MAS) requires realizing interactions modeled as a communication protocol between autonomous agents. We contribute Clouseau, an approach that takes a commitment-based specification of an interaction and generates a communication protocol amenable to decentralized enactment. We show that the generated protocol is (1) correct—realizes all and only the computations that satisfy the input specification; (2) safe—ensures the agents' local views remain consistent; and (3) live—ensures the agents can proceed to completion.