Tosca: Operationalizing Commitments over Information Protocols

King, Thomas Christopher and Günay, Akin and Chopra, Amit K. and Singh, Munindar P. (2017) Tosca: Operationalizing Commitments over Information Protocols. In: Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI). IJCAI, Melbourne, pp. 256-264. ISBN 9780999241103

[img]
Preview
PDF (tosca-2017)
tosca_2017.pdf - Accepted Version

Download (257kB)

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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
88733
Deposited By:
Deposited On:
03 Jan 2018 14:30
Refereed?:
Yes
Published?:
Published
Last Modified:
22 Sep 2020 05:45