Reasoning with vagueness in hybrid MKNF knowledge bases.
Shasha HuangQingguo LiPublished in: J. Intell. Fuzzy Syst. (2014)
Keyphrases
- knowledge base
- open world
- logic programming
- knowledge representation systems
- knowledge representation
- reasoning process
- inference engine
- description logics
- incomplete information
- closed world
- fuzzy logic
- vague concepts
- expert systems
- knowledge representation and reasoning
- knowledge based systems
- abductive logic programming
- production rules
- reasoning tasks
- knowledge acquisition
- semantics for logic programs
- rough set theory
- neural network
- rule base
- belief revision
- automated reasoning
- formal representation
- probabilistic knowledge
- probabilistic reasoning
- knowledge sources
- inconsistent knowledge