Reasoning-Supported Interactive Revision of Knowledge Bases.
Nadeschda NikitinaSebastian RudolphBirte GlimmPublished in: IJCAI (2011)
Keyphrases
- knowledge base
- knowledge representation
- knowledge representation systems
- reasoning process
- theory revision
- knowledge based systems
- belief revision
- inference engine
- description logics
- expert systems
- rule base
- production rules
- logic programming
- knowledge sources
- knowledge acquisition
- domain knowledge
- virtual reality
- background knowledge
- computer graphics
- semantic network
- user interaction
- knowledge engineers
- deductive reasoning
- abductive logic programming