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 1 2017

Fingerprint

Artificial intelligence

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Logical formalizations of commonsense reasoning : A survey. / Davis, Ernest.

In: Journal of Artificial Intelligence Research, Vol. 59, 01.05.2017, p. 651-723.

Research output: Contribution to journalReview article

@article{c206796aef5c4a1e8fda075d6fd94673,
title = "Logical formalizations of commonsense reasoning: A survey",
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.",
author = "Ernest Davis",
year = "2017",
month = "5",
day = "1",
doi = "10.1613/jair.5339",
language = "English (US)",
volume = "59",
pages = "651--723",
journal = "Journal of Artificial Intelligence Research",
issn = "1076-9757",
publisher = "Morgan Kaufmann Publishers, Inc.",

}

TY - JOUR

T1 - Logical formalizations of commonsense reasoning

T2 - A survey

AU - Davis, Ernest

PY - 2017/5/1

Y1 - 2017/5/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85045536071&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85045536071&partnerID=8YFLogxK

U2 - 10.1613/jair.5339

DO - 10.1613/jair.5339

M3 - Review article

AN - SCOPUS:85045536071

VL - 59

SP - 651

EP - 723

JO - Journal of Artificial Intelligence Research

JF - Journal of Artificial Intelligence Research

SN - 1076-9757

ER -