Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints.
Sam StatonHongseok YangFrank D. WoodChris HeunenOhad KammarPublished in: LICS (2016)
Keyphrases
- soft constraints
- higher order
- hard constraints
- constraint satisfaction
- utility theory
- constraint satisfaction problems
- programming language
- probability functions
- constraint propagation
- probability distribution
- logic programming
- bayesian networks
- continuous functions
- probabilistic model
- hard and soft constraints
- arc consistency
- pairwise
- random variables
- semantic information
- generative model
- cp nets
- state space
- constraint violations
- qualitative and quantitative
- optimization problems
- genetic algorithm