Goto

Collaborating Authors

 Model-Based Reasoning


Readings in Model-based Diagnosis

Classics

Observations play a major role in diagnosis. The nature of an observation varies according to the class of the considered system. In static systems, an observation is the value of a variable at a single time point. In dynamic continuous systems, such a value is observed over a time interval. In discrete-event systems, an observation consists of a sequence of temporally ordered events. In any case, what is observed is assumed not to be ambiguous.



A qualitative physics based on confluences

Classics

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.