Pouring liquids: A study in commonsense physical reasoning

Research output: Contribution to journalArticle

Abstract

This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order language; and demonstrates that this inference and other similar inferences can be justified as deductive conclusions from the theory and the problem specification.

Original languageEnglish (US)
Article numberOn-line appendix: http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf
Pages (from-to)1540-1578
Number of pages39
JournalArtificial Intelligence
Volume172
Issue number12-13
DOIs
StatePublished - Aug 2008

Fingerprint

Containers
Specifications
Liquids
Flow of fluids
language
Physical
Liquid
Inference
Language

Keywords

  • Liquids
  • Naive physics
  • Qualitative physical reasoning
  • Qualitative spatial reasoning

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computational Theory and Mathematics

Cite this

Davis, E. (2008). Pouring liquids: A study in commonsense physical reasoning. Artificial Intelligence, 172(12-13), 1540-1578. [On-line appendix: http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf]. https://doi.org/10.1016/j.artint.2008.04.003

Pouring liquids : A study in commonsense physical reasoning. / Davis, Ernest.

In: Artificial Intelligence, Vol. 172, No. 12-13, On-line appendix: http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf, 08.2008, p. 1540-1578.

Research output: Contribution to journalArticle

Davis, E 2008, 'Pouring liquids: A study in commonsense physical reasoning', Artificial Intelligence, vol. 172, no. 12-13, On-line appendix: http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf, pp. 1540-1578. https://doi.org/10.1016/j.artint.2008.04.003
Davis E. Pouring liquids: A study in commonsense physical reasoning. Artificial Intelligence. 2008 Aug;172(12-13):1540-1578. On-line appendix: http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf. https://doi.org/10.1016/j.artint.2008.04.003
@article{ebfd281091d0441682f89fbc15de4e8d,
title = "Pouring liquids: A study in commonsense physical reasoning",
abstract = "This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order language; and demonstrates that this inference and other similar inferences can be justified as deductive conclusions from the theory and the problem specification.",
keywords = "Liquids, Naive physics, Qualitative physical reasoning, Qualitative spatial reasoning",
author = "Ernest Davis",
year = "2008",
month = "8",
doi = "10.1016/j.artint.2008.04.003",
language = "English (US)",
volume = "172",
pages = "1540--1578",
journal = "Artificial Intelligence",
issn = "0004-3702",
publisher = "Elsevier",
number = "12-13",

}

TY - JOUR

T1 - Pouring liquids

T2 - A study in commonsense physical reasoning

AU - Davis, Ernest

PY - 2008/8

Y1 - 2008/8

N2 - This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order language; and demonstrates that this inference and other similar inferences can be justified as deductive conclusions from the theory and the problem specification.

AB - This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers. It shows how the theory and the problem specification can be expressed in a first-order language; and demonstrates that this inference and other similar inferences can be justified as deductive conclusions from the theory and the problem specification.

KW - Liquids

KW - Naive physics

KW - Qualitative physical reasoning

KW - Qualitative spatial reasoning

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

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

UR - http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf

U2 - 10.1016/j.artint.2008.04.003

DO - 10.1016/j.artint.2008.04.003

M3 - Article

VL - 172

SP - 1540

EP - 1578

JO - Artificial Intelligence

JF - Artificial Intelligence

SN - 0004-3702

IS - 12-13

M1 - On-line appendix: http://cs.nyu.edu/faculty/davise/papers/liqAppa-proof.pdf

ER -