Three-valued logic for reasoning from an inconsistent knowledge base.
Ikuo TaharaShiho NobesawaPublished in: Systems and Computers in Japan (2006)
Keyphrases
- knowledge base
- inconsistent knowledge
- deductive reasoning
- reasoning engine
- logic programming
- knowledge representation
- reasoning process
- automated reasoning
- proof theory
- nonmonotonic logics
- description logics
- uncertain information
- reasoning tasks
- inference engine
- probabilistic logic
- classical logic
- computational properties
- knowledge based systems
- knowledge acquisition
- knowledge representation formalisms
- proof theoretic
- logical framework
- intuitionistic logic
- inconsistent information
- logical formulas
- knowledge representation and reasoning
- logical inference
- human reasoning
- valued semantics
- order of magnitude reasoning
- terminological reasoning
- possibilistic logic
- knowledge structures
- inference rules
- modal logic
- expert systems
- representing knowledge
- belief base
- default reasoning
- consistent query answering
- wordnet
- truth maintenance systems
- epistemic logic
- reasoning about actions
- theorem proving
- belief revision
- horn logic
- domain knowledge