Logical Formalizations of Commonsense Reasoning: A Survey

Ernest Davis
2017 The Journal of Artificial Intelligence Research  
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.
doi:10.1613/jair.5339 fatcat:rt4pvmx6dzejjjvijr4kucjldq