DIRECTIONS FOR QUALITATIVE REASONING

Sacks & Doyle provide an excellent overview of the fundamental limitations of the SPQR representations for reasoning about the qualitative properties of dynamic systems. We take this opportunity to outline some new directions for qualitative reasoning. In this paper, we provide a rigorous mathematical characterization for the term “qualitative property” in the context of static and dynamic systems. Based on these characterizations, we show that interval representations are well suited for reasoning about the qualitative properties of static systems such as qualitative comparative statics and qualitative stability. Moreover, we also show that symbolic computations help in the derivation of useful global properties of dynamic systems which can be used to guide numerical sampling of differential equations. The integration of symbolic and numeric methods provides a powerful approach for automating the qualitative analysis of differential equations.

[1]  Peter Lancaster,et al.  The theory of matrices , 1969 .

[2]  Elisha Sacks,et al.  Automatic Analysis of One-Parameter Planar Ordinary Differential Equations by Intelligent Numeric Simulation , 1991, Artif. Intell..

[3]  Benjamin J. Kaipers,et al.  Qualitative Simulation , 1989, Artif. Intell..

[4]  Y. Iwasaki.  Model-based reasoning of device behavior with causal ordering , 1988 .

[5]  Elisha Sacks,et al.  PROLEGOMENA TO ANY FUTURE QUALITATIVE PHYSICS , 1992, Comput. Intell..

[6]  A. Andronov,et al.  Qualitative Theory of Second-order Dynamic Systems , 1973 .

[7]  James P. Quirk,et al.  Qualitative Economics and the Stability of Equilibrium , 1965 .

[8]  C. Jeffries.  Qualitative Stability and Digraphs in Model Ecosystems , 1974 .

[9]  Shuji Doshita,et al.  Automated Phase Portrait Analysis by Integrating Qualitative and Quantitative Analysis , 1991, AAAI.

[10]  Jayant R. Kalagnanam.  Qualitative analysis of system behaviour , 1992 .

[11]  Herbert A. Simon,et al.  Causality in Device Behavior , 1989, Artif. Intell..

[12]  Vital Aelion,et al.  Evaluation of stationary state stability for the synthesis of operating procedures , 1991 .

[13]  Herbert A. Simon,et al.  The mathematical bases for qualitative reasoning , 1991, IEEE Expert.

[14]  Benjamin Kuipers,et al.  Qualitative Simulation , 1986, Artificial Intelligence.

[15]  G. Stephanopoulos,et al.  Formal order-of-magnitude reasoning in process engineering , 1989 .

[16]  D. R. Coughanowr,et al.  Process systems analysis and control , 1965 .