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.

Click here to return to Volume 59 contents list