Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning.
Angelo GilioGiuseppe SanfilippoPublished in: ECSQARU (2011)
Keyphrases
- default reasoning
- probabilistic logic
- probabilistic reasoning
- belief revision
- default logic
- nonmonotonic reasoning
- probabilistic knowledge
- dependency directed backtracking
- conditional logic
- closed world reasoning
- proof theory
- bayesian networks
- default rules
- inheritance reasoning
- partial order
- proof theoretic
- constraint satisfaction
- first order logic
- knowledge representation
- machine learning
- commonsense reasoning
- probabilistic model
- conditional probabilities
- default theories
- distributed systems
- logic programming
- probabilistic inference