Pouring liquids: a study in commonsense physical reasoning

DOI10.1016/J.ARTINT.2008.04.003MaRDI QIDQ2389667zbMATH OpenOpenAlexFDO

Authors Ernest Davis

Publication date 17 July 2009

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2008.04.003

zbMATH Keywords

liquidsnaive physicsqualitative physical reasoningqualitative spatial reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Foundations, constitutive equations, rheology, hydrodynamical models of non-fluid phenomena (76A99)

Recommendations

• Commonsense reasoning about containers using radically incomplete information
• Qualitative reasoning on physical systems
• How does a box work? A study in the qualitative dynamics of solid objects
• Problems in representing liquid tanks with monotonicity constraints: A case study in model-imposed limitations on the coverage of qualitative simulators
• Publication:3484385

Cites work

• An attempt to formalise a non-trivial benchmark problem in common sense reasoning
• Continuous shape transformation and metrics on regions
• How does a box work? A study in the qualitative dynamics of solid objects
• scientific article; zbMATH DE number 4166881 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3298340 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Mid-sized axiomatizations of commonsense problems: A case study in egg cracking
• Processes and continuous change in a SAT-based planner
• The Expressivity of Quantifying over Regions
• The kinematics of cutting solid objects

Cited in

(6)

• Envisioning the qualitative effects of robot manipulation actions using simulation-based projections
• Commonsense reasoning about containers using radically incomplete information
• Proof verification technology and elementary physics
• Non-monotonic spatial reasoning with answer set programming modulo theories
• How does a box work? A study in the qualitative dynamics of solid objects
• Relations between adjacency trees

This page was built for publication: Pouring liquids: a study in commonsense physical reasoning

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2389667)