Hoang Nga Nguyen
Alternating-time temporal logic with resource bounds
Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur
Authors
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
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
Decidable Model Checking with Uniform Strategies
(2019)
Conference Proceeding
Strategic Responsibility Under Imperfect Information
(2019)
Conference Proceeding
Groups Versus Coalitions: On the Relative Expressivity of GAL and CAL
(2019)
Conference Proceeding
Unbounded orchestrations of transdeucers for manufacturing
(2019)
Conference Proceeding
Synthesis of orchestrations of transducers for manufacturing
(2018)
Conference Proceeding
Downloadable Citations
About Repository@Nottingham
Administrator e-mail: digital-library-support@nottingham.ac.uk
This application uses the following open-source libraries:
SheetJS Community Edition
Apache License Version 2.0 (http://www.apache.org/licenses/)
PDF.js
Apache License Version 2.0 (http://www.apache.org/licenses/)
Font Awesome
SIL OFL 1.1 (http://scripts.sil.org/OFL)
MIT License (http://opensource.org/licenses/mit-license.html)
CC BY 3.0 ( http://creativecommons.org/licenses/by/3.0/)
Powered by Worktribe © 2024
Advanced Search