Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.
Sam StatonHongseok YangChris HeunenOhad KammarFrank D. WoodPublished in: CoRR (2016)
Keyphrases
- soft constraints
- higher order
- hard constraints
- utility theory
- probability functions
- constraint satisfaction problems
- constraint satisfaction
- continuous functions
- constraint propagation
- logic programming
- probabilistic model
- probability distribution
- cp nets
- bayesian networks
- semantic information
- programming language
- partial constraint satisfaction
- constraint violations
- cost function
- constraint problems
- random variables
- arc consistency
- generative model
- upper bound
- special case
- search algorithm