How does a box work? A study in the qualitative dynamics of solid objects

DOI10.1016/J.ARTINT.2010.04.006MaRDI QIDQ543601zbMATH OpenOpenAlexFDO

Authors Ernest Davis

Publication date 17 June 2011

Published in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

commonsense reasoningdynamicskinematicsnaive physicsplanningqualitative physicssolid objects

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40) Robot dynamics and control of rigid bodies (70E60)

Recommendations

• Qualitative reasoning on physical systems
• Pouring liquids: a study in commonsense physical reasoning
• Commonsense reasoning about containers using radically incomplete information
• Publication:3484385
• Reasoning about action. II: The qualification problem

Cites work

• A First-order Theory of Communication and Multi-agent Plans
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Existence of solutions to rigid body dynamics and the Painlevé paradoxes
• scientific article; zbMATH DE number 3142620 (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 4185010 (Why is no real title available?)
• Nonmonotonic logic and temporal projection
• Planning Algorithms
• Planning for conjunctive goals
• Qualitative rigid-body mechanics
• Rigid-Body Dynamics with Friction and Impact
• The Expressivity of Quantifying over Regions

Cited in

(6)

• Pouring liquids: a study in commonsense physical reasoning
• Commonsense reasoning about containers using radically incomplete information
• The scope and limits of simulation in automated reasoning
• Proof verification technology and elementary physics
• Non-monotonic spatial reasoning with answer set programming modulo theories
• John McCarthy's legacy

This page was built for publication: How does a box work? A study in the qualitative dynamics of solid objects

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