Evidential Decision Theory via Partial Markov Categories

01/30/2023
by   Elena Di Lavore, et al.
0

We introduce partial Markov categories. In the same way that Markov categories encode stochastic processes, partial Markov categories encode stochastic processes with constraints, observations and updates. In particular, we prove a synthetic Bayes theorem; we use it to define a syntactic partial theory of observations on any Markov category, whose normalisations can be computed in the original Markov category. Finally, we formalise Evidential Decision Theory in terms of partial Markov categories, and provide implemented examples.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset