Checking the consistency of a hybrid knowledge base system.
Jaime RamírezAngélica de AntonioPublished in: Knowl. Based Syst. (2007)
Keyphrases
- knowledge base
- consistency checking
- knowledge representation
- expert systems
- knowledge acquisition
- logic programming
- rule base
- hybrid learning
- constraint networks
- background knowledge
- hybrid approaches
- temporal consistency
- path consistency
- temporal reasoning
- information retrieval
- wordnet
- knowledge based systems
- artificial intelligence