Reasoning about Containers:
Research in Physical Reasoning from Radically Incomplete Information
Department of Computer Science, New York University.
Department of Psychology, New York University.
Angelica Chen, College of Arts and Sciences, Princeton University.
Casey McGinley, College of Arts and Science, New York University.
- Commonsense Reasoning about Containers
using Radically Incomplete Information by E. Davis and G. Marcus.
Reasoning from Radically Incomplete Information: The Case of
Containers, by E. Davis, G. Marcus, and A. Chen.
Advances in Cognitive Systems. 2013.
- Radically Incomplete Reasoning about
Containers: A First-Order Theory, by E. Davis. Supplement to (1)
How Does a Box Work? A Study in the Qualitative Dynamics of Solid Objects.
by E. Davis. Artificial Intelligence, 175, 2011,
Pouring Liquids: A Study in Commonsense Physical Reasoning
by E. Davis. Artificial Intelligence, 172, 2008,
Natural Deduction Proofs
The sample inferences discussed in publication (1)
have been formulated as natural deduction proofs.
The proof of Scenario 1 inference has been verified in the
SPASS theorem prover, dividing
it into four separate pieces. The SPASS outputs
are linked below. This part of the project
is collaborative work of A. Chen, E. Davis, and C. McGinley. There are slight
differences between the axiomatization used here and that included in
publication (1) above.