Hoang Nga Nguyen
Alternating-time temporal logic with resource bounds
Nguyen, Hoang Nga; Alechina, Natasha; Logan, Brian; Rakib, Abdur
Authors
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 |
Publicly Available Date | Jun 19, 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
exv034.pdf
(310 Kb)
PDF
You might also like
Analysing the predictivity of features to characterise the search space
(2022)
Conference Proceeding
Memory-constrained context-aware reasoning
(2022)
Conference Proceeding
A probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Probabilistic resource-bounded alternating-time temporal logic
(2019)
Presentation / Conference
Model checking ontology-driven reasoning agents using strategy and abstraction
(2019)
Journal Article
Downloadable Citations
About UWE Bristol Research Repository
Administrator e-mail: repository@uwe.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