Symbolic Bayesian Inference by Lazy Partial Evaluation

@inproceedings{Shan2015SymbolicBI,
title={Symbolic Bayesian Inference by Lazy Partial Evaluation},
author={Chung-chieh Shan and Norman Ramsey},
year={2015}
}

Bayesian inference, of posterior knowledge based on prior knowledge and observed evidence, is typically implemented by applying Bayes’s theorem, solving an equation in which the posterior multiplied by the probability of an observation equals a joint probability. But when we observe a value of a continuous variable, the observation usually has probability zero, and Bayes’s theorem says only that zero times the unknown is zero. To infer a posterior distribution from a zero-probability… CONTINUE READING