Alternating-time temporal logic with resource bounds

Nguyen, Hoang Nga and Alechina, Natasha and Logan, Brian and Rakib, Abdur (2015) Alternating-time temporal logic with resource bounds. Journal of Logic and Computation . pp. 1-33. ISSN 0955-792X

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Available under Licence Creative Commons Attribution.
Download (349kB) | Preview


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.

Item Type: Article
Keywords: Strategic Ability, Resources, Axiomatisation of RB-ATL
Schools/Departments: University of Nottingham, Malaysia > Faculty of Science > School of Computer Science
Identification Number:
Depositing User: Nguyen, Hoang
Date Deposited: 09 Jul 2015 13:46
Last Modified: 02 Jul 2018 08:36

Actions (Archive Staff Only)

Edit View Edit View