Knowledge Integration for Commonsense Reasoning with Default Logic.
Priit JärvTanel TammetMartin VerrevDirk DraheimPublished in: KDIR (2022)
Keyphrases
- knowledge integration
- commonsense reasoning
- default logic
- nonmonotonic reasoning
- autoepistemic logic
- default rules
- classical logic
- default theories
- default reasoning
- logic programming
- nonmonotonic logics
- science learning
- fixed point
- modal logic
- possibility theory
- learning systems
- defeasible logic
- belief revision
- knowledge representation
- incomplete information
- artificial intelligence
- fixpoint
- formal theory
- learning process
- expert systems