Ernest Davis (2017) "Logical Formalizations of Commonsense Reasoning: A Survey", Volume 59, pages 651-723
PDF | PostScript | doi:10.1613/jair.5339
Commonsense reasoning is in principle a central problem in artificial intelligence, but it is a very difficult one. One approach that has been pursued since the earliest days of the field has been to encode commonsense knowledge as statements in a logic-based representation language and to implement commonsense reasoning as some form of logical inference. This paper surveys the use of logic-based representations of commonsense knowledge in artificial intelligence research.
