A Logic for Specifying Stochastic Actions and Observations

Rens, Gavin; Meyer, Thomas; Lakemeyer, Gerhard

doi:10.1007/978-3-319-04939-7_15

Search citation statements

Order By: Relevance

Paper Sections

Select...

The Stochastic Decision Logic1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2015

2023

Publication Types

Select...

Other2

Book1

Relationship

Self Cite1

Independent2

Authors

Journals

Cited by 3 publications

(1 citation statement)

References 19 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The SDL's foundations are in the Specification Logic of Actions with Probability (Rens et al, 2014b) and the Specification Logic of Actions and Observations with Probability (Rens et al, 2014a).…”

Section: The Stochastic Decision Logicmentioning

confidence: 99%

A Modal Logic for the Decision-Theoretic Projection Problem

Rens

Meyer

Lakemeyer³

2015

Proceedings of the International Conference on Agents and Artificial Intelligence

Self Cite

View full text Add to dashboard Cite

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.

show abstract

Section: The Stochastic Decision Logicmentioning

confidence: 99%