Towards classifying propositional probabilistic logics.
Glauber De BonaFábio Gagliardi CozmanMarcelo FingerPublished in: J. Appl. Log. (2014)
Keyphrases
- probabilistic logic
- default logic
- expressive power
- first order logic
- probabilistic model
- generative model
- propositional logic
- expert systems
- autoepistemic logic
- automatic classification
- inference rules
- uncertain data
- coalition logic
- modal logic
- data driven
- propositional variables
- bayesian networks
- classical first order logic
- logical framework
- horn clauses
- belief networks
- posterior probability
- conditional probabilities