资源分类
》 资源 》论文》Tosca: Operationalizing Commitments Over Information Protocols

Tosca: Operationalizing Commitments Over Information Protocols

2019-10-29 | |  44 |   24 |   0
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.

上一篇：The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas

下一篇：Verifying Fault-tolerance in Parameterised Multi-Agent Systems

用户评价
全部评价

热门资源

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • The Variational S...

    Unlike traditional images which do not offer in...

  • A Mathematical Mo...

    Direct democracy, where each voter casts one vo...

  • Rating-Boosted La...

    The performance of a recommendation system reli...