Using Normal Deduction Graphs in Default Reasoning.
Ricardo A. MunozChao-Chih YangPublished in: ISMIS (1991)
Keyphrases
- default reasoning
- belief revision
- nonmonotonic reasoning
- dependency directed backtracking
- default rules
- conditional logic
- partial order
- closed world reasoning
- default logic
- probabilistic reasoning
- proof theory
- probabilistic logic
- inheritance reasoning
- theorem proving
- model theoretic
- proof theoretic
- inference rules
- logic programming
- search algorithm
- neural network