A Modal Logic for the Decision-Theoretic Projection Problem

Gavin Rens, Thomas Meyer, Gerhard Lakemeyer

2015

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.

Paper Citation

in Harvard Style

Rens G., Meyer T. and Lakemeyer G. (2015). A Modal Logic for the Decision-Theoretic Projection Problem . In Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-074-1, pages 5-16. DOI: 10.5220/0005168200050016

in Bibtex Style

@conference{icaart15,
author={Gavin Rens and Thomas Meyer and Gerhard Lakemeyer},
title={A Modal Logic for the Decision-Theoretic Projection Problem},
booktitle={Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2015},
pages={5-16},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005168200050016},
isbn={978-989-758-074-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Modal Logic for the Decision-Theoretic Projection Problem
SN - 978-989-758-074-1
AU - Rens G.
AU - Meyer T.
AU - Lakemeyer G.
PY - 2015
SP - 5
EP - 16
DO - 10.5220/0005168200050016