Bayesian inference
Formal description of Bayesian inference.