Tosca: Operationalizing Commitments over Information Protocols

Thomas C. King, Akin Günay, Amit K. Chopra, Munindar P. Singh

IJCAI 2017 pp. 256-264

doi:10.24963/IJCAI.2017/37 /ijcai/2017/king2017ijcai-tosca/

Abstract

The notion of commitment is widely studied as a high-level abstraction for modeling multiagent interaction. An important challenge is supporting flexible decentralized enactments of commitment specifications. In this paper, we combine recent advances on specifying commitments and information protocols. Specifically, we contribute Tosca, a technique for automatically synthesizing information protocols from commitment specifications. Our main result is that the synthesized protocols support commitment alignment, which is the idea that agents must make compatible inferences about their commitments despite decentralization.

PDF IJCAI Semantic Scholar

Cite

Text

King et al. "Tosca: Operationalizing Commitments over Information Protocols." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/37

Markdown

[King et al. "Tosca: Operationalizing Commitments over Information Protocols." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/king2017ijcai-tosca/) doi:10.24963/IJCAI.2017/37

BibTeX

@inproceedings{king2017ijcai-tosca,
  title     = {{Tosca: Operationalizing Commitments over Information Protocols}},
  author    = {King, Thomas C. and Günay, Akin and Chopra, Amit K. and Singh, Munindar P.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2017},
  pages     = {256-264},
  doi       = {10.24963/IJCAI.2017/37},
  url       = {https://mlanthology.org/ijcai/2017/king2017ijcai-tosca/}
}