Tosca: Operationalizing commitments over information protocols

8Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

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.

Cite

CITATION STYLE

APA

King, T. C., Günay, A., Chopra, A. K., & Singh, M. P. (2017). Tosca: Operationalizing commitments over information protocols. In IJCAI International Joint Conference on Artificial Intelligence (Vol. 0, pp. 256–264). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2017/37

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free