Commonsense reasoning about containers using radically incomplete information

Ernest Davis, Gary Marcus, Noah Frazier-Logue

Research output: Contribution to journalArticle

Abstract

In physical reasoning, humans are often able to carry out useful reasoning based on radically incomplete information. One physical domain that is ubiquitous both in everyday interactions and in many kinds of scientific applications, where reasoning from incomplete information is very common, is the interaction of containers and their contents. We have developed a preliminary knowledge base for qualitative reasoning about containers, expressed in a sorted first-order language of time, geometry, objects, histories, and actions. We have demonstrated that the knowledge suffices to justify a number of commonsense physical inferences, based on very incomplete knowledge.

Original languageEnglish (US)
Pages (from-to)46-84
Number of pages39
JournalArtificial Intelligence
Volume248
DOIs
StatePublished - Jul 1 2017

Fingerprint

Containers
interaction
mathematics
Geometry
history
language
knowledge
Physical
Incomplete
Interaction
time
Language
Human Reasoning
History
Inference

Keywords

  • Commonsense reasoning
  • Containers
  • Physical reasoning
  • Spatial reasoning

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence

Cite this

Commonsense reasoning about containers using radically incomplete information. / Davis, Ernest; Marcus, Gary; Frazier-Logue, Noah.

In: Artificial Intelligence, Vol. 248, 01.07.2017, p. 46-84.

Research output: Contribution to journalArticle

Davis, Ernest ; Marcus, Gary ; Frazier-Logue, Noah. / Commonsense reasoning about containers using radically incomplete information. In: Artificial Intelligence. 2017 ; Vol. 248. pp. 46-84.
@article{486038238b0f4e798d743e3099c2cfd6,
title = "Commonsense reasoning about containers using radically incomplete information",
abstract = "In physical reasoning, humans are often able to carry out useful reasoning based on radically incomplete information. One physical domain that is ubiquitous both in everyday interactions and in many kinds of scientific applications, where reasoning from incomplete information is very common, is the interaction of containers and their contents. We have developed a preliminary knowledge base for qualitative reasoning about containers, expressed in a sorted first-order language of time, geometry, objects, histories, and actions. We have demonstrated that the knowledge suffices to justify a number of commonsense physical inferences, based on very incomplete knowledge.",
keywords = "Commonsense reasoning, Containers, Physical reasoning, Spatial reasoning",
author = "Ernest Davis and Gary Marcus and Noah Frazier-Logue",
year = "2017",
month = "7",
day = "1",
doi = "10.1016/j.artint.2017.03.004",
language = "English (US)",
volume = "248",
pages = "46--84",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",

}

TY - JOUR

T1 - Commonsense reasoning about containers using radically incomplete information

AU - Davis, Ernest

AU - Marcus, Gary

AU - Frazier-Logue, Noah

PY - 2017/7/1

Y1 - 2017/7/1

N2 - In physical reasoning, humans are often able to carry out useful reasoning based on radically incomplete information. One physical domain that is ubiquitous both in everyday interactions and in many kinds of scientific applications, where reasoning from incomplete information is very common, is the interaction of containers and their contents. We have developed a preliminary knowledge base for qualitative reasoning about containers, expressed in a sorted first-order language of time, geometry, objects, histories, and actions. We have demonstrated that the knowledge suffices to justify a number of commonsense physical inferences, based on very incomplete knowledge.

AB - In physical reasoning, humans are often able to carry out useful reasoning based on radically incomplete information. One physical domain that is ubiquitous both in everyday interactions and in many kinds of scientific applications, where reasoning from incomplete information is very common, is the interaction of containers and their contents. We have developed a preliminary knowledge base for qualitative reasoning about containers, expressed in a sorted first-order language of time, geometry, objects, histories, and actions. We have demonstrated that the knowledge suffices to justify a number of commonsense physical inferences, based on very incomplete knowledge.

KW - Commonsense reasoning

KW - Containers

KW - Physical reasoning

KW - Spatial reasoning

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

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

U2 - 10.1016/j.artint.2017.03.004

DO - 10.1016/j.artint.2017.03.004

M3 - Article

VL - 248

SP - 46

EP - 84

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

ER -