A Note on the Refinement of Nonmonotonic Knowledge Bases.
Cara MacNishPublished in: Knowl. Inf. Syst. (2000)
Keyphrases
- knowledge base
- logic programming
- closed world reasoning
- tableau calculus
- nonmonotonic reasoning
- description logics
- default reasoning
- expert systems
- belief base
- knowledge acquisition
- knowledge based neural networks
- default logic
- belief revision
- modal logic
- knowledge representation
- knowledge based systems
- possibilistic logic
- truth maintenance systems
- minimal models
- multiple inheritance
- semantic network
- programming language
- nonmonotonic logics
- refinement process
- machine learning
- default reasoning from conditional knowledge bases
- object oriented
- knowledge representation systems
- logic programs
- production rules
- background knowledge
- deductive databases
- knowledge sources