A probabilistic logic for resource-bounded multi-agent systems

Hoang Nga Nguyen, Abdur Rakib

Research output: Contribution to conferencePaper

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 languageEnglish
Pages(In-press)
Publication statusAccepted/In press - 30 May 2019
Event28th International Joint Conference on Artificial Intelligence - Macao, China
Duration: 10 Aug 201916 Aug 2019
Conference number: 28th
https://ijcai19.org/

Conference

Conference28th International Joint Conference on Artificial Intelligence
Abbreviated titleIJCAI-19
CountryChina
CityMacao
Period10/08/1916/08/19
Internet address

    Fingerprint

Cite this

Nguyen, H. N., & Rakib, A. (Accepted/In press). A probabilistic logic for resource-bounded multi-agent systems. (In-press). Paper presented at 28th International Joint Conference on Artificial Intelligence, Macao, China.