A Coherent and Paraconsistent Variant of the Default Logic.
Anbu YueZuoquan LinPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2007)
Keyphrases
- default logic
- logic programming
- valued semantics
- nonmonotonic reasoning
- default theories
- default reasoning
- logic programs
- classical logic
- autoepistemic logic
- nonmonotonic logics
- default rules
- modal logic
- inference rules
- fixed point
- deductive databases
- knowledge base
- answer set programming
- programming language
- truth maintenance systems
- reasoning tasks
- knowledge representation
- extended logic programs
- databases
- probabilistic reasoning
- answer sets
- fixpoint
- pairwise
- expert systems
- natural language
- image segmentation