UCT CS Research Document Archive

A Modal Logic for the Decision-Theoretic Projection Problem

Rens, Gavin, Thomas Meyer and Gerhard Lakemeyer (2015) A Modal Logic for the Decision-Theoretic Projection Problem. In Loiseau, Stephane and Joaquim Filipe, Eds. Proceedings 7th International Conference on Agents and Artificial Intelligence (ICAART) 2, pages 5-16, Lisbon, Portugal.

Full text available as:
PDF - Requires Adobe Acrobat Reader or other PDF viewer.


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.

EPrint Type:Conference Paper
Subjects:I Computing Methodologies: I.2 ARTIFICIAL INTELLIGENCE
ID Code:1090
Deposited By:Meyer, Thomas
Deposited On:18 August 2016