The goals of qualitative physics are to identify the distinctions and laws which govern qualitative behavior of devices such that it is possible to predict and explain the behavior of physical devices without recourse to quantitative methods. Although qualitative analysis lacks quantitative information, it predicts significant characteristics of device functioning such as feedback, ringing, oscillation, etc. This paper defines higher-order qualitative derivatives and uses them to formulate six fundamental laws which govern the gross-time behavior of physical devices. These qualitative laws are based on the Mean Value Theorem and Taylor's Expansion of the quantitative calculus. They substitute for what often requires sophisticated problem-solving. We claim they are the best that can be achieved relying on qualitative information.
[1]
Kenneth D. Forbus.
Qualitative Reasoning about Physical Processes
,
1981,
IJCAI.
[2]
Benjamin Kuipers,et al.
Commonsense Reasoning about Causality: Deriving Behavior from Structure
,
1984,
Artif. Intell..
[3]
Johan de Kleer,et al.
A Qualitative Physics Based on Confluences
,
1984,
Artif. Intell..
[4]
Johan de Kleer,et al.
Foundations of Envisioning
,
1982,
AAAI.
[5]
Brian C. Williams,et al.
The Use of Continuity in a Qualitative Physics
,
1984,
AAAI.
[6]
Brian C. Williams,et al.
Qualitative Analysis of MOS Circuits
,
1984,
Artif. Intell..
[7]
Benjamin Kuipers,et al.
Getting the Envisionment Right
,
1982,
AAAI.
[8]
Kenneth D. Forbus.
Qualitative Process Theory
,
1984,
Artif. Intell..