@conference{102,
author = {Gavin Rens and Tommie Meyer and G. Lakemeyer},
title = {A Modal Logic for the Decision-Theoretic Projection Problem},
abstract = {We present a decidable logic in which queries can be posed about (i) the degree of belief in a propositional sentence after an arbitrary finite number of actions and observations and (ii) the utility of a finite sequence of actions after a number of actions and observations. Another contribution of this work is that a POMDP model specification is allowed to be partial or incomplete with no restriction on the lack of information specified for the model. The model may even contain information about non-initial beliefs. Essentially, entailment of arbitrary queries (expressible in the language) can be answered. A sound, complete and terminating decision procedure is provided.},
year = {2015},
journal = {International Conference on Agents and Artificial Intelligence (ICAART) Vol. 2},
chapter = {5-16},
month = {10/01-12/01},
isbn = {978-989-758-074-1},
}