@misc{69, author = {Gavin Rens and Tommie Meyer and G. Lakemeyer}, title = {The Stochastic Decision Logic}, abstract = {We present a decidable logic in which POMDPs can be speci ed with compact representations, and queries can be posed about (i) the degree of belief in a propositional sentence after an arbitrary nite number of actions and observations and (ii) the utility of a nite sequence of actions after a number of actions and observations. The task of the logic is to check whether a query (stated in the language of the logic) follows from a knowledge base (KB), which is typically a POMDP model speci cation (also stated in the language of the logic). The main contribution of this work is that the POMDP model speci cation is allowed to be partial or incomplete with no restriction on the lack of information speci ed for the model. The KB 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 = {2013}, }