Clouseau: Generating Communication Protocols from Commitments
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.
How to Cite
Singh, M., & Chopra, A. (2020). Clouseau: Generating Communication Protocols from Commitments. Proceedings of the AAAI Conference on Artificial Intelligence, 34(05), 7244-7252. https://doi.org/10.1609/aaai.v34i05.6215
AAAI Technical Track: Multiagent Systems