Logical Formalizations of Commonsense Reasoning: A Survey.
Ernest DavisPublished in: J. Artif. Intell. Res. (2017)
Keyphrases
- commonsense reasoning
- autoepistemic logic
- event calculus
- nonmonotonic reasoning
- situation calculus
- default logic
- incomplete information
- classical logic
- knowledge representation
- formal theory
- logic programming
- modal logic
- model theoretic
- default reasoning
- missing information
- logic programs
- multi agent
- default theories
- general purpose
- domain knowledge