What Is an Ideal Logic for Reasoning with Inconsistency?.
Ofer ArieliArnon AvronAnna ZamanskyPublished in: IJCAI (2011)
Keyphrases
- classical logic
- automated reasoning
- proof theory
- intuitionistic logic
- inconsistent knowledge
- order of magnitude reasoning
- deductive reasoning
- logical inference
- proof theoretic
- computational properties
- valued logic
- reasoning engine
- probabilistic logic
- logical framework
- inconsistent information
- qualitative reasoning
- knowledge base
- commonsense reasoning
- reasoning systems
- knowledge representation formalisms
- human reasoning
- logical rules
- abductive reasoning
- horn logic
- logic programming
- reasoning about actions
- modal logic
- causal reasoning
- reasoning tasks
- linear logic
- probabilistic reasoning
- defeasible logic
- derivation rules
- nonmonotonic inference
- default reasoning
- reasoning process
- probabilistic knowledge
- spatial reasoning
- production rules
- propositional logic
- sound and complete with respect
- belief base