Default Entailment: A Preferential Construction Semantics for Defeasible Inference.
Emil WeydertPublished in: KI (1995)
Keyphrases
- tableau calculus
- nonmonotonic inference
- description logics
- conditional logic
- default rules
- logic programming
- nonmonotonic reasoning
- knowledge base
- minimal models
- defeasible reasoning
- default reasoning
- bayesian networks
- defeasible logic programming
- update semantics
- commonsense reasoning
- default logic
- belief networks
- nonmonotonic logics
- possibility theory
- probabilistic logic
- argumentation frameworks
- np complete
- belief base
- inference mechanism
- formal semantics
- belief revision
- defeasible argumentation