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 hnn@cs.nott.ac.uk

Natasha Alechina nza@cs.nott.ac.uk

Brian Logan bsl@cs.nott.ac.uk

Abdur Rakib Abdur.Rakib@nottingham.edu.my



Abstract

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 paper, 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 axiomatisation of the resulting logic, Resource-Bounded ATL (RB-ATL), and a model-checking algorithm for it.

Journal Article Type Article
Publication Date Jun 13, 2015
Journal Journal of Logic and Computation
Print ISSN 0955-792X
Electronic ISSN 0955-792X
Publisher Oxford University Press (OUP)
Peer Reviewed Peer Reviewed
APA6 Citation Nguyen, H. N., Alechina, N., Logan, B., & Rakib, A. (2015). Alternating-time temporal logic with resource bounds. Journal of Logic and Computation, doi:10.1093/logcom/exv034
DOI https://doi.org/10.1093/logcom/exv034
Keywords Strategic Ability, Resources, Axiomatisation of RB-ATL
Publisher URL http://logcom.oxfordjournals.org/content/early/2015/06/12/logcom.exv034
Copyright Statement Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0

Files

jlc-rbatl.pdf (349 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by/4.0



You might also like



Downloadable Citations

;