Probabilistic logic under coherence, model-theoretic probabilistic logic, and default reasoning in System P.
Veronica BiazzoAngelo GilioThomas LukasiewiczGiuseppe SanfilippoPublished in: J. Appl. Non Class. Logics (2002)
Keyphrases
- probabilistic logic
- default reasoning
- model theoretic
- proof theoretic
- probabilistic reasoning
- default logic
- nonmonotonic reasoning
- belief revision
- proof theory
- partial order
- probabilistic knowledge
- logic programming
- hidden markov models
- general purpose
- object oriented
- np hard
- artificial intelligence
- rationality postulates