Skip to main content

Research Repository

Advanced Search

Alternating-time temporal logic with resource bounds

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

Alternating-time temporal logic with resource bounds Thumbnail


Authors

Hoang Nga Nguyen

Natasha Alechina

Brian Logan

Abdur Rakib



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.

Citation

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

Journal Article Type Article
Publication Date Jun 13, 2015
Deposit Date Jul 9, 2015
Publicly Available Date Mar 29, 2024
Journal Journal of Logic and Computation
Print ISSN 0955-792X
Electronic ISSN 0955-792X
Publisher Oxford University Press
Peer Reviewed Peer Reviewed
DOI https://doi.org/10.1093/logcom/exv034
Keywords Strategic Ability, Resources, Axiomatisation of RB-ATL
Public URL https://nottingham-repository.worktribe.com/output/754505
Publisher URL http://logcom.oxfordjournals.org/content/early/2015/06/12/logcom.exv034

Files





You might also like



Downloadable Citations