Tosca: Operationalizing Commitments Over Information Protocols
This work addresses the problem of flexible decentralized interactions in multiagent systems, representing an incremental advancement by combining existing specifications of commitments and information protocols.
The authors tackled the challenge of decentralized enactment of commitment specifications in multiagent systems by introducing Tosca, a technique for automatically synthesizing information protocols from commitment specifications, with the main result being that these synthesized protocols support commitment alignment, ensuring agents make compatible inferences about their commitments.
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.