Alternating-time temporal logic with resource bounds

Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur

Abstract

© 2015 The Author. Many problems in AI and multi-agent systems research are most naturally formulated in terms of the abilities of a coalition of agents. There exist several excellent logical tools for reasoning about coalitional ability. However, coalitional ability can be affected by the availability of resources, and there is no straightforward way of reasoning about resource requirements in logics such as Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). In this article, we describe a logic for reasoning about coalitional ability under resource constraints. We extend ATL with costs of actions and hence of strategies. We give a complete and sound axiomatization of the resulting logic, Resource-Bounded ATL (RB-ATL) and a model-checking algorithm for it.

• Journal Article Type: Article
• Acceptance Date: Nov 24, 2014
• Online Publication Date: Jun 12, 2015
• Publication Date: Jun 1, 2018
• Deposit Date: Jun 16, 2017
• Publicly Available Date: Jun 19, 2017
• Journal: Journal of Logic and Computation
• Print ISSN: 0955-792X
• Electronic ISSN: 1465-363X
• Publisher: Oxford University Press (OUP)
• Peer Reviewed: Peer Reviewed
• Volume: 28
• Issue: 4
• Pages: 631-663
• DOI: https://doi.org/10.1093/logcom/exv034
• Keywords: strategic ability, resources, axiomatisation of RB-ATL
• Public URL: https://uwe-repository.worktribe.com/output/832760
• Publisher URL: https://doi.org/10.1093/logcom/exv034
• Related Public URLs: https://academic.oup.com/logcom/article/doi/10.1093/logcom/exv034/2917812/Alternating-time-temporal-logic-with-resource
• Contract Date: Jun 16, 2017