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 Press, New York, pp. 7244-7252. ISBN 9781577358350

[img]
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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
139057
Deposited By:
Deposited On:
18 Nov 2019 11:40
Refereed?:
Yes
Published?:
Published
Last Modified:
22 Oct 2020 07:46