State Algebra for Probabilistic Logic

Dmitry Lesnik, Tobias Schäfer

This paper presents a Probabilistic State Algebra as an extension of deterministic propositional logic, providing a computational framework for constructing Markov Random Fields (M…