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)


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
18 Nov 2019 11:40
Last Modified:
21 Nov 2022 17:13