Logical formalizations of commonsense reasoning: A survey

Research output: Contribution to journalReview article

Abstract

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
Volume59
DOIs
StatePublished - May 2017

ASJC Scopus subject areas

  • Artificial Intelligence

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

  • Cite this