Default Reasoning and the Logic of Theory Perturbation.
Clark GlymourRichmond H. ThomasonPublished in: NMR (1984)
Keyphrases
- default reasoning
- proof theory
- proof theoretic
- conditional logic
- belief revision
- nonmonotonic reasoning
- model theoretic
- probabilistic logic
- probabilistic reasoning
- default logic
- partial order
- closed world reasoning
- dependency directed backtracking
- logical framework
- logic programming
- formal theory
- commonsense reasoning
- automated reasoning
- inheritance reasoning
- relational databases
- default rules
- machine learning