Skip to main content

Research Repository

Advanced Search

Decidable model-checking for a resource logic with production of resources

Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Raimondi, Franco

Authors

Natasha Alechina nza@cs.nott.ac.uk

Brian Logan bsl@cs.nott.ac.uk

Hoang Nga Nguyen hnn@cs.nott.ac.uk

Franco Raimondi f.raimondi@mdx.ac.uk



Abstract

Several logics for expressing coalitional ability under resource bounds have been proposed and studied in the literature. Previous work has shown that if only consumption of resources is considered or the total amount of resources produced or consumed on any path in the system is bounded, then the model-checking problem for several standard logics, such as Resource-Bounded Coalition Logic (RB-CL) and Resource-Bounded Alternating-Time Temporal Logic (RB-ATL) is decidable. However, for coalition logics with unbounded resource production and consumption, only some undecidability results are known. In this paper, we show that the model-checking problem for RB-ATL with unbounded production and consumption of resources is decidable.

Citation

Alechina, N., Logan, B., Nguyen, H. N., & Raimondi, F. (2014). Decidable model-checking for a resource logic with production of resources

Conference Name European Conference on Artificial Intelligence (ECAI 2014)
End Date Aug 22, 2014
Publication Date Aug 18, 2014
Deposit Date Sep 18, 2015
Publicly Available Date Sep 18, 2015
Peer Reviewed Peer Reviewed
Public URL http://eprints.nottingham.ac.uk/id/eprint/30179
Publisher URL http://ebooks.iospress.nl/publication/36908
Copyright Statement Copyright information regarding this work can be found at the following address: http://creativecommons.org/licenses/by-nc/4.0
Additional Information Published in: ECAI 2014: 21st European Conference on Artificial Intelligence: 18-22 August 2014, Prague, Czech Republic: including Prestigious Applications of Intelligent Systems (PAIS 2014): proceedings. Amsterdam : IOS Press, 2014. ISBN: 9781614994183, pp. 9-14, doi: 10.3233/978-1-61499-419-0-9

Files

ecai14.pdf (226 Kb)
PDF

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





You might also like



Downloadable Citations