Commonsense reasoning about containers using radically incomplete information

DOI10.1016/J.ARTINT.2017.03.004MaRDI QIDQ2407460zbMATH OpenOpenAlexFDO

Authors Ernest Davis, Gary F. Marcus, Noah Frazier-Logue

Publication date 29 September 2017

Published in Artificial Intelligence (Search for Journal in Brave)

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

zbMATH Keywords

physical reasoningspatial reasoningcommonsense reasoningcontainers

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic in artificial intelligence (68T27)

Recommendations

• Pouring liquids: a study in commonsense physical reasoning
• Qualitative reasoning on physical systems
• Publication:3484385
• How does a box work? A study in the qualitative dynamics of solid objects
• An approach to human-level commonsense reasoning

Cites work

• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• A complete axiom system for polygonal mereotopology of the real plane
• Continuous shape transformation and metrics on regions
• Dynamics with Inequalities
• Handbook of Spatial Logics
• How does a box work? A study in the qualitative dynamics of solid objects
• Planning Algorithms
• Pouring liquids: a study in commonsense physical reasoning
• Qualitative simulation
• The scope and limits of simulation in automated reasoning

Cited in

(4)

• Strings and Holes: An Exercise on Spatial Reasoning
• How does a box work? A study in the qualitative dynamics of solid objects
• Pouring liquids: a study in commonsense physical reasoning
• Proof verification technology and elementary physics

Describes a project that uses

Uses Software

• SPASS

This page was built for publication: Commonsense reasoning about containers using radically incomplete information

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