Rens, Gavin and Meyer, Thomas and Lakemeyer, Gerhard (2015) A Modal Logic for the Decision-Theoretic Projection Problem, Proceedings of 7th International Conference on Agents and Artificial Intelligence (ICAART), 10-12 January, 2015, Lisbon, Portugal, 2, 5-16, SCITEPRESS DIGITAL LIBRARY.
![[img]](http://pubs.cs.uct.ac.za/style/images/fileicons/application_pdf.png) |
PDF
SDL-for-ICAART-camera-ready.pdf Download (216kB) |
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.
| Item Type: | Conference paper |
|---|---|
| Subjects: | Computing methodologies > Artificial intelligence |
| Date Deposited: | 18 Aug 2016 |
| Last Modified: | 10 Oct 2019 15:32 |
| URI: | http://pubs.cs.uct.ac.za/id/eprint/1090 |
Actions (login required)
 |
View Item |