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

Alechina, Natasha and Bulling, Nils and Logan, Brian and Nguyen, Hoang Nga (2015) On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic. In: International Joint Conference on Artificial Intelligence (IJCAI-15), 25-31 July 2015, Buenos Aires, Argentina.

[img]
Preview
PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (760kB) | Preview

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.

Item Type: Conference or Workshop Item (Paper)
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
Schools/Departments: University of Nottingham UK Campus > Faculty of Science > School of Computer Science
Depositing User: Alechina, Natasha
Date Deposited: 18 Sep 2015 13:02
Last Modified: 17 Sep 2016 02:38
URI: http://eprints.nottingham.ac.uk/id/eprint/30178

Actions (Archive Staff Only)

Edit View Edit View