Home > Research > Publications & Outputs > Tosca: Operationalizing Commitments over Inform...

Electronic data

  • tosca-2017

    Accepted author manuscript, 251 KB, PDF document

Links

Text available via DOI:

View graph of relations

Tosca: Operationalizing Commitments over Information Protocols

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Published
Publication date23/08/2017
Host publicationProceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI)
Place of PublicationMelbourne
PublisherIJCAI
Pages256-264
Number of pages9
ISBN (Print)9780999241103
Original languageEnglish

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.