Skip to main content

Research Repository

See what's under the surface

Advanced Search

A probabilistic logic for resource-bounded multi-agent systems

Nguyen, Hoang Nga; Rakib, Abdur

Authors

Hoang Nga Nguyen

Rakib Abdur Rakib.Abdur@uwe.ac.uk
Senior Lecturer in Mobile Security



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 \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)
Start Date Aug 10, 2019
Peer Reviewed Peer Reviewed
APA6 Citation Nguyen, H. N., & Rakib, A. (2019, August). A probabilistic logic for resource-bounded multi-agent systems. Paper presented at 28th International Joint Conference on Artificial Intelligence
Keywords agent theories and models, formal verification, validation and synthesis
Additional Information Title of Conference or Conference Proceedings : 28th International Joint Conference on Artificial Intelligence
;