TY - JOUR AU - Singh, Munindar AU - Chopra, Amit PY - 2020/04/03 Y2 - 2024/03/28 TI - Clouseau: Generating Communication Protocols from Commitments JF - Proceedings of the AAAI Conference on Artificial Intelligence JA - AAAI VL - 34 IS - 05 SE - AAAI Technical Track: Multiagent Systems DO - 10.1609/aaai.v34i05.6215 UR - https://ojs.aaai.org/index.php/AAAI/article/view/6215 SP - 7244-7252 AB - <p>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) <em>correct</em>—realizes all and only the computations that satisfy the input specification; (2) <em>safe</em>—ensures the agents' local views remain consistent; and (3) <em>live</em>—ensures the agents can proceed to completion.</p> ER -