Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy.
Allen GinsbergPublished in: AAAI (1988)
Keyphrases
- knowledge base
- integrity checking
- description logics
- knowledge acquisition
- knowledge representation
- knowledge based systems
- logic programming
- inference engine
- expert systems
- inconsistent knowledge
- semantic network
- classical logic
- knowledge sources
- knowledge structures
- domain experts
- reduction method
- wordnet
- rule base
- inductive learning
- reasoning process
- meta knowledge
- artificial intelligence