Abstract
Resource-bounded alternating-time temporal logic (RB-ATL), 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).
Original language | English |
---|---|
Pages | (In-press) |
Publication status | Accepted/In press - 30 May 2019 |
Event | 28th International Joint Conference on Artificial Intelligence - Macao, China Duration: 10 Aug 2019 → 16 Aug 2019 Conference number: 28th https://ijcai19.org/ |
Conference
Conference | 28th International Joint Conference on Artificial Intelligence |
---|---|
Abbreviated title | IJCAI-19 |
Country/Territory | China |
City | Macao |
Period | 10/08/19 → 16/08/19 |
Internet address |