Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models.
Christoph BeierleChristian EichhornGabriele Kern-IsbernerSteven KutschPublished in: Artif. Intell. (2021)
Keyphrases
- graph theoretic
- nonmonotonic inference
- nonmonotonic reasoning
- minimal models
- default logic
- default reasoning
- autoepistemic logic
- logic programming
- conditional logic
- truth maintenance systems
- bayesian networks
- logic programs
- belief revision
- nonmonotonic logics
- default theories
- decision trees
- propositional logic
- inference process
- classical logic
- possibility theory
- fixpoint
- class labels
- natural language