Skip to main content

Research Repository

Advanced Search

A probabilistic logic for resource-bounded multi-agent systems

Nguyen, Hoang Nga; Rakib, Abdur


Hoang Nga Nguyen

Profile Image

Rakib Abdur
Senior Lecturer in Mobile Security


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 \rbatl~with probabilistic reasoning and provide a standard algorithm for the model-checking problem of the resulting logic Probabilistic Resource-Bounded ATL (pRB-ATL).

Presentation Conference Type Conference Paper (unpublished)
Conference Name 28th International Joint Conference on Artificial Intelligence
Start Date Aug 10, 2019
End Date Aug 16, 2019
Acceptance Date May 10, 2019
Deposit Date May 31, 2019
Peer Reviewed Peer Reviewed
Keywords agent theories and models, formal verification, validation and synthesis
Public URL
Additional Information Title of Conference or Conference Proceedings : 28th International Joint Conference on Artificial Intelligence
Contract Date May 31, 2019