Clouseau: Generating Communication Protocols from Commitments

AAAI 2020 pp. 7244-7252

doi:10.1609/AAAI.V34I05.6215 /aaai/2020/singh2020aaai-clouseau/

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.

PDF AAAI Semantic Scholar

Cite

Text

Singh and Chopra. "Clouseau: Generating Communication Protocols from Commitments." AAAI Conference on Artificial Intelligence, 2020. doi:10.1609/AAAI.V34I05.6215

Markdown

[Singh and Chopra. "Clouseau: Generating Communication Protocols from Commitments." AAAI Conference on Artificial Intelligence, 2020.](https://mlanthology.org/aaai/2020/singh2020aaai-clouseau/) doi:10.1609/AAAI.V34I05.6215

BibTeX

@inproceedings{singh2020aaai-clouseau,
  title     = {{Clouseau: Generating Communication Protocols from Commitments}},
  author    = {Singh, Munindar P. and Chopra, Amit K.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2020},
  pages     = {7244-7252},
  doi       = {10.1609/AAAI.V34I05.6215},
  url       = {https://mlanthology.org/aaai/2020/singh2020aaai-clouseau/}
}