A probabilistic logic for resource-bounded multi-agent systems

Hoang Nga Nguyen; Rakib Abdur

A probabilistic logic for resource-bounded multi-agent systems

Hoang Nga Nguyen, Rakib Abdur

Clean Growth and Future Mobility

University of the West of England

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

8 Citations (Scopus)

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
Title of host publication	Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19)
Editors	Sarit Kraus
Publisher	AAAI Press / International Joint Conferences on Artificial Intelligence
Pages	521-527
Number of pages	7
ISBN (Electronic)	978-0-9992411-4-1
Publication status	Published - 5 Oct 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	https://ijcai19.org/

Cite this

A probabilistic logic for resource-bounded multi-agent systems. / Nguyen, Hoang Nga; Abdur, Rakib.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). ed. / Sarit Kraus. AAAI Press / International Joint Conferences on Artificial Intelligence, 2019. p. 521-527.

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

Nguyen, HN & Abdur, R 2019, A probabilistic logic for resource-bounded multi-agent systems. in S Kraus (ed.), Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19). AAAI Press / International Joint Conferences on Artificial Intelligence, pp. 521-527, 28th International Joint Conference on Artificial Intelligence, Macao, China, 10/08/19.

@inproceedings{e5a710e53a0b4c719d8d34ebb976d5a3,

title = "A probabilistic logic for resource-bounded multi-agent systems",

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).",

author = "Nguyen, {Hoang Nga} and Rakib Abdur",

year = "2019",

month = oct,

day = "5",

language = "English",

pages = "521--527",

editor = "Kraus, {Sarit }",

booktitle = "Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19)",

publisher = "AAAI Press / International Joint Conferences on Artificial Intelligence",

address = "United States",

note = "28th International Joint Conference on Artificial Intelligence, IJCAI-19 ; Conference date: 10-08-2019 Through 16-08-2019",

url = "https://ijcai19.org/",

}

TY - GEN

T1 - A probabilistic logic for resource-bounded multi-agent systems

AU - Nguyen, Hoang Nga

AU - Abdur, Rakib

N1 - Conference code: 28th

PY - 2019/10/5

Y1 - 2019/10/5

N2 - 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).

AB - 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).

M3 - Conference proceeding

SP - 521

EP - 527

BT - Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19)

A2 - Kraus, Sarit

PB - AAAI Press / International Joint Conferences on Artificial Intelligence

T2 - 28th International Joint Conference on Artificial Intelligence

Y2 - 10 August 2019 through 16 August 2019

ER -

A probabilistic logic for resource-bounded multi-agent systems

Abstract

Conference

Fingerprint

Cite this