A Probabilistic Logic for Resource-Bounded Multi-Agent Systems

A Probabilistic Logic for Resource-Bounded Multi-Agent Systems

Hoang Nga Nguyen, Abdur Rakib

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
Main track. Pages 521-527. https://doi.org/10.24963/ijcai.2019/74

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).
Keywords:
Agent-based and Multi-agent Systems: Agent Theories and Models
Agent-based and Multi-agent Systems: Formal Verification, Validation and Synthesis
Uncertainty in AI: Markov Decision Processes
Uncertainty in AI: Uncertainty in AI