Knowledge representation issues in default reasoning.
Jane Terry NutterPublished in: J. Exp. Theor. Artif. Intell. (1990)
Keyphrases
- default reasoning
- knowledge representation
- probabilistic reasoning
- nonmonotonic reasoning
- belief revision
- default logic
- logic programming
- dependency directed backtracking
- conditional logic
- partial order
- probabilistic logic
- proof theory
- default rules
- inheritance reasoning
- semantic web
- expert systems
- artificial intelligence
- machine learning
- closed world reasoning
- automated reasoning
- knowledge base
- description logics
- proof theoretic
- neural network
- probabilistic inference
- first order logic
- multi dimensional
- data structure