Skip to main content

Research Repository

Advanced Search

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic

Alechina, Natasha; Bulling, Nils; Logan, Brian; Nguyen, Hoang Nga

Authors

Natasha Alechina nza@cs.nott.ac.uk

Nils Bulling

Brian Logan bsl@cs.nott.ac.uk

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



Abstract

The model-checking problem for Resource Agent Logic is known to be undecidable. We review existing (un)decidability results and identify a significant fragment of the logic for which model checking is decidable. We discuss aspects which makes model checking decidable and prove undecidability of two open fragments over a class of models in which agents always have a choice of doing nothing.

Publication Date Jul 25, 2015
Peer Reviewed Peer Reviewed
APA6 Citation Alechina, N., Bulling, N., Logan, B., & Nguyen, H. N. (2015). On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
Publisher URL http://ijcai.org/papers15/Papers/IJCAI15-214.pdf
Copyright Statement Copyright information regarding this work can be found at the following address: http://eprints.nottingh.../end_user_agreement.pdf
Additional Information Published in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence. Palo Alto, Calif. : AAAI Press/International Joint Conferences on Artificial Intelligence, 2015. ISBN: 9781577357384

Files

IJCAI15-214.pdf (761 Kb)
PDF

Copyright Statement
Copyright information regarding this work can be found at the following address: http://eprints.nottingham.ac.uk/end_user_agreement.pdf





You might also like



Downloadable Citations

;