Logical formalizations of commonsense reasoning: A survey

Research output: Contribution to journalReview articlepeer-review


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.

Original languageEnglish (US)
Pages (from-to)651-723
Number of pages73
JournalJournal of Artificial Intelligence Research
StatePublished - May 2017

ASJC Scopus subject areas

  • Artificial Intelligence


Dive into the research topics of 'Logical formalizations of commonsense reasoning: A survey'. Together they form a unique fingerprint.

Cite this