资源论文A Probabilistic Logic for Resource-Bounded Multi-Agent Systems

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems

2019-09-26 | |  112 |   48 |   0
Abstract Resource-bounded alternating-time temporal logic (RB-ATL) [Alechina et al., 2010], an extension of Coalition Logic (CL) and Alternating-time Temporal Logic (ATL), allows reasoning about resource requirements of coalitions in concurrent systems. However, many real-world systems are inherently probabilistic as well as resource-bounded, and there is no straightforward way of reasoning about their unpredictable behaviours. In this paper, we propose a logic for reasoning about coalitional power under resource constraints in the probabilistic setting. We extend RB-ATL with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic Resource-Bounded ATL (pRB-ATL)

上一篇:Automatic Face Aging in Videos via Deep Reinforcement Learning

下一篇:A Quantitative Analysis of Multi-Winner Rules

用户评价
全部评价

热门资源

  • The Variational S...

    Unlike traditional images which do not offer in...

  • Learning to Predi...

    Much of model-based reinforcement learning invo...

  • Stratified Strate...

    In this paper we introduce Stratified Strategy ...

  • A Mathematical Mo...

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

  • Rating-Boosted La...

    The performance of a recommendation system reli...