A Framework for Qualitative Reasoning About Solid Objects

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

Predicting the behavior of a qualitatively described system of solid objects requires a combination of geometrical, temporal, and physical reasoning. Methods Based upon formulating and solving differential equations are not adequate for robust prediction, since the behavior of a system over extended time may be much simpler than its behavior over local time. This paper discusses a first-order logic, in which one can state simple physical problems and derive their solution deductively, without recourse to solving the differential equations. This logic is substantially more expressive and powerful than any previous AI representational system in this domain.

Original languageEnglish (US)
Title of host publicationReadings in Qualitative Reasoning About Physical Systems
PublisherElsevier Inc.
Pages603-609
Number of pages7
ISBN (Print)1558600957, 9781483214474
DOIs
StatePublished - Sep 17 2013

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'A Framework for Qualitative Reasoning About Solid Objects'. Together they form a unique fingerprint.

  • Cite this

    Davis, E. (2013). A Framework for Qualitative Reasoning About Solid Objects. In Readings in Qualitative Reasoning About Physical Systems (pp. 603-609). Elsevier Inc.. https://doi.org/10.1016/B978-1-4832-1447-4.50063-8