Large-Scale Commonsense Knowledge for Default Logic Reasoning.
Priit JärvTanel TammetMartin VerrevDirk DraheimPublished in: SN Comput. Sci. (2023)
Keyphrases
- commonsense knowledge
- default logic
- commonsense reasoning
- nonmonotonic reasoning
- default rules
- autoepistemic logic
- default reasoning
- default theories
- logic programming
- nonmonotonic logics
- classical logic
- automated reasoning
- language understanding
- knowledge representation
- information gathering
- incomplete information
- event calculus
- fixed point
- modal logic
- possibility theory
- general purpose
- truth maintenance systems
- artificial intelligence
- fixpoint
- formal theory
- reasoning tasks
- description logics
- knowledge base