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

Tools

Alechina, Natasha, Bulling, Nils, 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.

Full text not available from this repository.

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)
RIS ID: https://nottingham-repository.worktribe.com/output/756267
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 > Faculty of Science > School of Computer Science
Depositing User: Alechina, Natasha
Date Deposited: 18 Sep 2015 13:02
Last Modified: 04 May 2020 17:12
URI: https://eprints.nottingham.ac.uk/id/eprint/30178

Actions (Archive Staff Only)

Edit View Edit View