Deterministic modal Bayesian Logic: derive the Bayesian inference within the modal logic T
Frédéric DambrevillePublished in: CoRR (2007)
Keyphrases
- modal logic
- bayesian inference
- temporal logic
- classical logic
- probabilistic model
- prior information
- statistical inference
- inference rules
- hyperparameters
- bayesian model
- nonmonotonic logics
- conditional logic
- epistemic logic
- default logic
- variational inference
- situation calculus
- variational bayes
- prior distribution
- dynamic logic
- hierarchical bayesian
- explanation based generalization
- kripke models
- bayesian models
- modal operators
- prime implicates
- markov chain monte carlo
- variational approximation
- sequent calculus
- autoepistemic logic
- machine learning
- graphical models
- model checking