A logical framework for solid object physics
Ernest Davis · 2011
We have developed a logical framework for qualitative reasoning about solid objects. This framework specifies a first-order language L in which the physics of solid objects can be described, and defines the semantics of L in terms of a formal model . We show that interesting problems can be solved qualitatively by inference from plausible axioms expressed in L .The language L is more expressive and supports richer inferences than any previous representation scheme in this domain.