Pouring liquids: A study in commonsense physical reasoning
Artificial IntelligencePublished 1 May 2008
Ernest Davis
Citations38
SJR quartileQ1
SJR score1.84
SNIP3.30
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
A theory is presented that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects, inferring that liquid can be poured from one container to another, given only qualitative information about the shapes and motions of the containers.
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
Computer Science
Elsevier eBooksSome Philosophical Problems from the Standpoint of Artificial Intelligence
3,289 Citations1981John McCarthy, Patrick J. Hayes
The formalism of this paper represents an advance over McCarthy (1963) and Green (1969) in that it permits proof of the correctness of strategies that contain loops and strategies that involve the acquisition of knowledge; and it is also somewhat more concise.
Artificial IntelligenceThe knowledge level
2,484 Citations1982Allen Newell
A theory of the nature of knowledge is proposed, namely, that there is another computer system level immediately above the symbol (or program) level and knowledge itself is the processing medium at this level and the principle of rationality plays a central role.
Semantic Information Processing
2,175 Citations1968Marvin Minsky
This book solves different problems like resolving ambiguities in word meanings, finding analogies between things, making logical and nonlogical inference, resolving inconsistency in information engaging in coherent discourse with a person and more.
Artificial IntelligenceQualitative process theory
2,023 Citations1984Kenneth D. Forbus
This paper describes the basic concepts of qualitative process theory, several different kinds of reasoning that can be performed with them, and discusses its implications for causal reasoning.
A Spatial Logic based on Regions and Connection.
1,927 Citations1992David Randell, Zhanfeng Cui +1 more
An interval logic for reasoning about space is described, which supports a simpler ontology, has fewer functions and relations, yet does not su(cid:11)er in terms of its useful expressiveness.
Artificial IntelligenceA qualitative physics based on confluences
1,499 Citations1984Johan de Kleer, John Seely Brown
A fairly encompassing account of qualitative physics, which introduces causality as an ontological commitment for explaining how devices behave, and presents algorithms for determining the behavior of a composite device from the generic behavior of its components.
Choice Reviews OnlineKnowledge in action: logical foundations for specifying and implementing dynamical systems
1,109 Citations2002
Foundations of artificial intelligenceHandbook of Knowledge Representation
892 Citations2008Frank van Harmelen, Vladimir Lifschitz
The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation written by the leaders of each field, an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.
Programs with common sense
805 Citations1960John McCarthy
This paper discusses programs to manipulate in a suitable formal language (most likely a part of the predicate calculus) common instrumental statements, where the basic program will draw immediate conclusions from a list of premises.
Greenwood Publishing Group Inc. eBooksFormal Theories of the Commonsense World
760 Citations1985Jerry R. Hobbs, Robert C. Moore
Elsevier eBooksRepresentations of Commonsense Knowledge
454 Citations1990
The power of representations in expressing world knowledge and in supporting significant inferences is analyzed using many detailed examples and the book is an essential reference for AI researchers and developers.
The Mathematical GazetteMachine Intelligence 4. Edited by B. Meltzer and D. Michie. Pp. viii, 508. 100s. 1969. (Edinburgh University Press.)
339 Citations1970F. R. A. Hopgood
Artificial IntelligenceComputational kinematics
137 Citations1991Leo Joskowicz, Elisha Sacks
A kinematic analysis algorithm for mechanisms built of rigid parts, such as door locks, gearboxes, and transmissions, is presented and it is shown that the feasible class covers most mechanisms by surveying 2500 mechanisms from an engineering encyclopedia.
Elsevier eBooksMULTIPLE REPRESENTATIONS OF KNOWLEDGE IN A MECHANICS PROBLEM-SOLVER
131 Citations1990Johan de Kleer
A program, NEWTON, uses the method of envisionment, whereby simple questions may be answered directly, and plans produced for solving more complex problems, and resorts to mathematical equations only if the qualitative reasoning fails to produce a solution.
Artificial IntelligenceProcesses and continuous change in a SAT-based planner
105 Citations2005Ji-Ae Shin, Ernest Davis
The structure of the planner is discussed and how planning with time and metric quantities is compiled into a system of constraints is shown, including how to construct plans in domains containing atomic actions and durative actions.
Artificial IntelligenceAnalogical representations of naive physics
105 Citations1989F. Gardin, Bernard D. Meltzer
Experimental studies are presented of analogical models, which bear a structural similarity to what is being modeled, which embody a small number of local constraints derived from naive observation, such as material continuity and noncopenetrability.
Studia LogicaMid-Sized Axiomatizations of Commonsense Problems: A Case Study in Egg Cracking
60 Citations2001Leora Morgenstern
An axiomatization of a problem in commonsense reasoning is presented, characterizing the proper procedure for cracking an egg and transferring its contents to a bowl, which is mid-sized, larger than toy problems such as the Yale Shooting Problem or the Suitcase Problem, but much smaller than the comprehensiveAxiomatizations associated with CYC and HPKB.
Elsevier eBooksReasoning About Fluids Via Molecular Collections
56 Citations1990John W. Collins, Kenneth D. Forbus
It is claimed that MC descriptions are parasitic on the Contained-Stuff ontology, and rules for generating MC descriptions given a Qualitative Process theory model using contained stuffs are presented.
The Naive Physics Perplex
43 Citations1997Ernest Davis
Artificial Intelligence in EngineeringA logical framework for commonsense predictions of solid object behaviour
36 Citations1988Ernest Davis
A first-order logic in which one can state simple physical problems and derive their solution deductively, without recourse to solving differential equations is presented, substantially more expressive and powerful than any previous AI representational system in this domain.
Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
32 Citations2000Brandon Bennett, Anthony G. Cohn +2 more
The expressive power of a recently developed qualitative region-based geometry is explored and applied to the problem of representing and reasoning about the motion of rigid bodies within a confining environment.
Artificial IntelligenceAn attempt to formalise a non-trivial benchmark problem in common sense reasoning
28 Citations2003Murray Shanahan
The present paper supplies a formalisation of a non-trivial benchmark problem in common sense physical reasoning, namely how to crack an egg, based on the event calculus, a well-known formalism for reasoning about action.
Annals of Mathematics and Artificial IntelligenceThe kinematics of cutting solid objects
24 Citations1993Ernest Davis
This paper studies how the cutting of one solid object by another can be described in a formal theory, and presents two alternative first-order representations for this domain that are sufficient to support some simple commonsense inferences and algorithms.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)Qualitative reasoning about fluids and mechanics
23 Citations1993Hyeonkyeong Kim
This thesis investigates qualitative domain theories and reasoning techniques which will enable computers to analyze the qualitative behaviors of physical systems which include both mechanical mechanisms and fluids, such as internal combustion engines and hydraulic lift pumps.
Artificial IntelligenceHow does a box work? A study in the qualitative dynamics of solid objects
23 Citations2010Ernest Davis
An in-depth study of qualitative physical reasoning about using a box to carry a collection of objects from one place to another and develops a theory that supports an inference of the form ''If conditions XYZ hold, and the agent attempts to carry out plan1 then presumably he will succeed''.
Continuous Shape Transformation and Metrics on Regions
20 Citations2001Ernest Davis
This work establishes qualitative properties of the continuity of basic functions such as union, intersection, set difference, area, distance, and smoothed circumference in the Hausdorff distance and the transition graph between RCC-8 relations.
Journal of Logic and ComputationThe Expressivity of Quantifying over Regions
18 Citations2006Ernest Davis
Categorize in recursion-theoretic terms the expressivity of a number of first-order languages that allow quantification over regions in Euclidean space to show any relation over U that is analytical and invariant under affine transformations is first- order definable in the structure 〈U, C, Convex〉.
AI MagazineNaive Physics Perplex
18 Citations1998Ernest Davis
The "Naive Physics Manifesto" of Pat Hayes (1978) proposes a large-scale project to develop a formal theory encompassing the entire knowledge of physics of naive reasoners, expressed in a declarative symbolic form, and this article compares the advantages and disadvantages of the two approaches.
Axiomatizing Qualitative Process Theory
16 Citations2011Ernest Kofi Davis
It is shown that the type of reasoning performed by Forbus' 1985 Qualitative Process (QP) program can be justiied in a rst-order theory that models time and other measure spaces as real-valued quantities.