Commonsense reasoning about causality: Deriving behavior from structure

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

Abstract

This paper presents a qualitative-reasoning method for predicting the behavior of mechanisms characterized by continuous, time-varying parameters. The structure of a mechanism is described in terms of a set of parameters and the constraints that hold among them: essentially a ‘qualitative differential equation’. The qualitative-behavior description consists of a discrete set of time-points, at which the values of the parameters are described in terms of ordinal relations and directions of change. The behavioral description, or envisionment, is derived by two sets of rules: propagation rules which elaborate the description of the current time-point, and prediction rules which determine what is known about the next qualitatively distinct state of the mechanism. A detailed example shows how the envisionment method can detect a previously unsuspected landmark point at which the system is in stable equilibrium.

References (27)

  • J. De Kleer et al.

    The origin, form and logic of qualitative physical laws

  • C. Eliot et al.

    ENV manual

    Tufts University TMX Memo No. 15

    (1983)
  • K.D. Forbus

    Qualitative reasoning about physical processes

  • Cited by (0)

    This research was supported in part by NIH Grant LM 03603 from the National Library of Medicine.

    View full text