Contextual equivalence for a probabilistic language with continuous random variables and recursion.
Mitchell WandRyan CulpepperTheophilos GiannakopoulosAndrew CobbPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- random variables
- bayesian networks
- graphical models
- conditional probabilities
- probability distribution
- conditionally independent
- continuous variables
- conditional independence
- joint distribution
- probabilistic model
- stochastic optimization problems
- latent variables
- joint probability distributions
- conditional probability distributions
- normal distribution
- contextual information
- distribution function
- datalog programs
- posterior probability
- conditional distribution
- failure rate
- lead time
- stochastic processes
- statistically independent
- deductive databases
- probabilistic inference
- independent and identically distributed
- joint probability distribution
- natural language
- control system
- markov chain
- conditional distributions
- generative model
- latent variable models
- belief networks