Progressive Instantiation for the Logical Validation of Nonmonotonic KBs.
Éric GrégoirePublished in: EUROVAV (1999)
Keyphrases
- knowledge based systems
- knowledge base
- logic programming
- knowledge representation
- multiple inheritance
- probabilistic knowledge
- logical structure
- nonmonotonic logics
- artificial intelligence
- expert systems
- logical representation
- knowledge acquisition
- real time
- nonmonotonic reasoning
- logical properties
- default logic
- model validation
- logical reasoning
- logical operations
- multi context systems
- truth maintenance systems
- probabilistic logic
- image compression
- logic programs
- domain knowledge
- learning algorithm
- data sets