From Inconsistency to Consistency: Knowledge Base Revision by Tableaux Opening.
Camilla SchwindPublished in: IBERAMIA (2010)
Keyphrases
- knowledge base
- belief base
- belief revision
- description logics
- knowledge acquisition
- expert systems
- knowledge based systems
- inconsistent knowledge
- knowledge representation
- knowledge structures
- rule base
- classical logic
- reasoning process
- data sets
- logic programming
- modal logic
- decision procedures
- consistency checking
- wordnet
- semantic network
- constraint networks
- possibilistic logic
- revision operators
- maintaining consistency
- neural network
- functional dependencies
- inference engine
- natural language
- theory revision