Weakest Preexpectation Semantics for Bayesian Inference - Conditioning, Continuous Distributions and Divergence.
Marcin SzymczakJoost-Pieter KatoenPublished in: SETSS (2019)
Keyphrases
- bayesian inference
- probabilistic model
- prior information
- kullback leibler
- hyperparameters
- bayesian model
- variational bayes
- variational inference
- kl divergence
- gibbs sampler
- statistical inference
- probability distribution
- probabilistic modeling
- bayesian models
- hierarchical bayesian
- random variables
- particle filter
- weighted model counting
- possibility theory
- markov chain monte carlo
- prior distribution
- kullback leibler divergence
- gaussian distribution
- conditional random fields
- distance measure
- search space
- variational approximation
- search algorithm