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.
Official URL: http://ijcai.org/papers15/Papers/IJCAI15-214.pdf
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.
Actions (Archive Staff Only)