Tosca: Operationalizing Commitments Over Information Protocols
Thomas C. King, Ak{\i}n G\"unay, Amit K. Chopra, Munindar P. Singh

TL;DR
Tosca is a novel technique that automatically synthesizes information protocols from commitment specifications, ensuring agents maintain aligned inferences about commitments in decentralized multiagent systems.
Contribution
It introduces Tosca, a method for deriving information protocols from commitments, enabling flexible and consistent decentralized commitment enactments.
Findings
Protocols support commitment alignment in decentralized settings
Automatic synthesis of information protocols from commitment specs
Enhances multiagent interaction reliability
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
