TY - JOUR
T1 - Pouring liquids
T2 - A study in commonsense physical reasoning
AU - Davis, Ernest
N1 - Funding Information:
E-mail address: [email protected]. 1 I am grateful to the reviewers for many helpful suggestions. This research was supported in part by NSF grant IIS-0534809.
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
U2 - 10.1016/j.artint.2008.04.003
DO - 10.1016/j.artint.2008.04.003
M3 - Article
AN - SCOPUS:46549084913
SN - 0004-3702
VL - 172
SP - 1540
EP - 1578
JO - Artificial Intelligence
JF - Artificial Intelligence
IS - 12-13
ER -