Visible to the public Tosca: Operationalizing Commitments Over Information ProtocolsConflict Detection Enabled

TitleTosca: Operationalizing Commitments Over Information Protocols
Publication TypeConference Paper
Year of Publication2017
AuthorsThomas Christopher King, Akın Günay, Amit K. Chopra, Munindar P. Singh
Conference NameProceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI)
Conference LocationMelbourne
KeywordsFormal Specification and Analysis of Security-Critical Norms and Policies, July'17, NCSU, Policy-Governed Secure Collaboration

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.

Citation KeyIJCAI-17:Tosca
Refereed DesignationRefereed