Bayesian inference as iterated random functions with applications to sequential inference in graphical models

We propose a general formalism of iterated random functions with semigroup property, under which exact and approximate Bayesian posterior updates can be viewed as specific instances. A convergence the