Work

Tosca: Operationalizing Commitments Over Information Protocols

Year: 2017

Type: conference-paper

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.

Source: International Joint Conference on Artificial Intelligence

DOI: 10.24963/ijcai.2017/37

Authors: Thomas C. King, Akın Günay, Amit K. Chopra, Munindar P. Singh

Institutions: Lancaster University, North Carolina State University

Language: English

Topic: Multi-Agent Systems and Negotiation

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funders: U.S. Department of Defense, Engineering and Physical Sciences Research Council

Awards: Turtles: Protocol-Based Foundations for Distributed Multiagent Systems, G5090389606