Skip to main content

Research Repository

Advanced Search

Alternating-time temporal logic with resource bounds

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

Authors

Hoang Nga Nguyen

Natasha Alechina

Brian Logan

Profile Image

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



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.

Citation

Nguyen, H. N., Alechina, N., Logan, B., & Rakib, A. (2018). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, 28(4), 631-663. https://doi.org/10.1093/logcom/exv034

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
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

Files







You might also like



Downloadable Citations