Inconsistency-tolerant reasoning over linear probabilistic knowledge bases.
Nico PotykaMatthias ThimmPublished in: Int. J. Approx. Reason. (2017)
Keyphrases
- knowledge base
- knowledge representation systems
- probabilistic logic
- probabilistic reasoning
- inconsistent knowledge
- reasoning process
- knowledge representation
- description logics
- probabilistic knowledge
- inference engine
- knowledge acquisition
- knowledge based systems
- expert systems
- logical inference
- qualitative reasoning
- bayesian networks
- open world
- boolean expressions
- uncertain data
- linear systems
- logic programming
- generative model
- inconsistent information
- domain knowledge
- reasoning tasks
- automated reasoning
- legal reasoning
- semantic network
- causal networks
- knowledge sources
- reasoning engine
- query answering
- wordnet
- belief networks
- knowledge representation languages
- sound and complete with respect
- production rules