A Modal Aleatoric Calculus for Probabilistic Reasoning.
Tim FrenchAndrew GozzardMark ReynoldsPublished in: ICLA (2019)
Keyphrases
- probabilistic reasoning
- bayesian networks
- reasoning under uncertainty
- first order logic
- probabilistic inference
- probabilistic logic
- constraint satisfaction
- modal logic
- belief networks
- default reasoning
- knowledge representation
- markov logic networks
- special case
- propositional logic
- inference rules
- back propagation
- logic programming
- tableau calculus