Pouring liquids: A study in commonsense physical reasoning

被引：19

作者：

Davis, Ernest ^{[1
]}

机构：

[1] NYU, Dept Comp Sci, New York, NY 10003 USA

来源：

ARTIFICIAL INTELLIGENCE | 2008年 / 172卷 / 12-13期

基金：

美国国家科学基金会;

关键词：

liquids; qualitative physical reasoning; naive physics; qualitative spatial reasoning;

D O I：

10.1016/j.artint.2008.04.003

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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. (c) 2008 Elsevier B.V. All rights reserved.

引用

页码：1540 / 1578

页数：39