Propositional Reasoning that Tracks Probabilistic Reasoning.
Hanti LinKevin T. KellyPublished in: J. Philos. Log. (2012)
Keyphrases
- probabilistic reasoning
- probabilistic logic
- first order logic
- reasoning under uncertainty
- automated reasoning
- statistical relational learning
- bayesian networks
- propositional logic
- probabilistic inference
- constraint satisfaction
- default reasoning
- belief networks
- knowledge representation
- probabilistic knowledge
- model theoretic
- logic programming
- theorem proving
- abductive reasoning
- inference rules
- markov logic networks
- qualitative probabilistic networks
- trade off
- probability distribution
- expert systems
- reinforcement learning