A qualitative physics based on confluences

https://doi.org/10.1016/0004-3702(84)90037-7Get rights and content

Abstract

A qualitative physics predicts and explains the behavior of mechanisms in qualitative terms. The goals for the qualitative physics are (1) to be far simpler than the classical physics and yet retain all the important distinctions (e.g., state, oscillation, gain, momentum) without invoking the mathematics of continuously varying quantities and differential equations, (2) to produce causal accounts of physical mechanisms that are easy to understand, and (3) to provide the foundations for commonsense models for the next generation of expert systems.

This paper presents a fairly encompassing account of qualitative physics. First, we discuss the general subject of naive physics and some of its methodological considerations. Second, we present a framework for modeling the generic behavior of individual components of a device based on the notions of qualitative differential equations (confluences) and qualitative state. This requires developing a qualitative version of the calculus. The modeling primitives induce two kinds of behavior, intrastate and interstate, which are governed by different laws. Third, we present algorithms for determining the behavior of a composite device from the generic behavior of its components. Fourth, we examine a theory of explanation for these predictions based on logical proof. Fifth, we introduce causality as an ontological commitment for explaining how devices behave.

References (26)

  • J.S. Brown et al.

    Pedagogical, natural language and knowledge engineering techniques in SOPHIE I, II and III

  • I. Cochin

    Analysis and Design of Dynamic Systems

    (1980)
  • R. Davis et al.

    Diagnosis based on description of structure and function

  • J. De Kleer et al.

    Qualitative reasoning with higher-order derivatives

  • J. De Kleer et al.

    Mental models of physical mechanisms and their acquisition

  • J. De Kleer et al.

    Mental models of physical mechanisms

  • J. De Kleer et al.

    Assumptions and ambiguities in mechanistic mental models

  • J. De Kleer et al.

    Propagation of constraints applied to circuit synthesis

    Circuit Theory and Applications

    (1980)
  • J. De Kleer

    Qualitative and quantitative knowledge in classical mechanics

  • J. De Kleer

    Causal and teleological reasoning in circuit recognition

  • J. De Kleer

    The origin and resolution of ambiguities in causal arguments

  • A.A. DiSessa

    Momentum flow as a world view in elementary mechanics

    (1979)
  • R.P. Feynman et al.
  • Cited by (913)

    • On Residual-based Diagnosis of Physical Systems

      2022, Engineering Applications of Artificial Intelligence
    View all citing articles on Scopus
    View full text