Qualitative Reasoning about Physical Systems: A Return to Roots

Seven years ago the Journal Artificial Intelligence published a special volume entitled "Qualitative Reasoning about Physical Systems" [3]---qualitative reasoning for short. This special volume proved to be a watershed for qualitative reasoning research, which inspired a decade of ferment and innovative exploration. Now qualitative reasoning has reached another watershed, by returning to its original roots of coping with fundamental engineering tasks. ~ As both editors feel that addressing real tasks'is crucial to the success of the qualitative reasoning enterprise, we decided that now would be a judicious time to recognize and explicitly encourage this focus--through this special volume. This introduction conveys our personal perspective on what qualitative reasoning is about, what are some of the common misconceptions, and where we would like to see the research headed. The motivation for qualitative reasoning arose predominantly from research on engineering problem solving, which sought techniques for automating engineering practice for a variety of important tasks--circuit analysis and parameter selection [15,42,41 ], the diagnosis and teleological description of bipolar amplifiers [11 ], tutoring systems for steam plant operation [ 19 ], the design of MOS memory buffers [48], and the interpretation of geological structures [38]. It quickly became clear that, if we want to capture the skills of an engineer or technician we must do far more than build bigger simulators (such as Spice [44]) or equation solvers (such as Macsyma [28])--the

[1]  Johan de Kleer,et al.  The Origin and Resolution of Ambiguities in Causal Arguments , 1979, IJCAI.

[2]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

[3]  D. Bobrow Qualitative Reasoning about Physical Systems , 1985 .

[4]  Louise Travé-Massuyès,et al.  The Orders of Magnitude Models as Qualitative Algebras , 1989, IJCAI.

[5]  Johan de Kleer,et al.  Exploiting Locality in a TMS , 1990, AAAI.

[6]  Gerald Jay Sussman,et al.  Heuristic techniques in computer-aided circuit analysis , 1975 .

[7]  Kenneth D. Forbus,et al.  Using qualitative simulation to generate explanations , 1981 .

[8]  Brian C. Williams,et al.  Doing Time: Putting Qualitative Reasoning on Firmer Ground , 1986, AAAI.

[9]  Kenneth D. Forbus Qualitative Process Theory , 1984, Artif. Intell..

[10]  David A. McAllester Algebraic Approximations , 1981, IJCAI.

[11]  Peter Szolovits,et al.  Causal Understanding of Patient Illness in Medical Diagnosis , 1981, IJCAI.

[12]  Bernard P. Zeigler,et al.  Qualitative physics: towards the automation of systems problem solving , 1990, Proceedings [1990]. AI, Simulation and Planning in High Autonomy Systems.

[13]  B. Williams,et al.  Temporal qualitative analysis: explaining how physical systems work , 1990 .

[14]  Gerald Jay Sussman,et al.  Propagation of constraints applied to circuit synthesis , 1980 .

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

[16]  Joel Moses,et al.  Algebraic simplification: a guide for the perplexed , 1971, CACM.

[17]  Daniel S. Weld Approximation Reformulations , 1990, AAAI.

[18]  Elisha Sacks,et al.  Piecewise Linear Reasoning , 1987, AAAI Conference on Artificial Intelligence.

[19]  Brian C. Williams,et al.  Qualitative Analysis of MOS Circuits , 1984, Artif. Intell..

[20]  D. Morgan On discrete-time AGC amplifiers , 1975 .

[21]  Olivier Raiman,et al.  Assembling a device , 1988, Artif. Intell. Eng..

[22]  Reid G. Simmons,et al.  Commonsense Arithmetic Reasoning , 1986, AAAI.

[23]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[24]  Johan de Kleer,et al.  How Circuits Work , 1984, Artif. Intell..

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

[26]  Patrick J. Hayes,et al.  A Common-Sense Theory of Time , 1985, IJCAI.

[27]  Gerald J. Sussman,et al.  Electrical Design: A Problem for Artificial Intelligence Research , 1977, IJCAI.

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

[29]  Daniel S. Weld Choices for comparative analysis: DQ analysis or exaggeration? , 1988, Artif. Intell. Eng..

[30]  Brian C. Williams,et al.  Interaction-Based Invention: Designing Novel Devices from First Principles , 1990, AAAI.

[31]  Brian Falkenhainer,et al.  Self-Explanatory Simulations: An Integration of Qualitative and Quantitative Knowledge , 1990, AAAI.

[32]  Benjamin Kuipers,et al.  Using Incomplete Quantitative Knowledge In Qualitative Reasoning , 1988, AAAI.

[33]  Kenneth D. Forbus,et al.  Qualitative and quantitative reasoning about thermodynamics , 1989 .

[34]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[35]  P. Struss Problems of interval-based qualitative reasoning , 1989 .

[36]  Tom Bylander The Qualitative Difference Resolution Rule , 1991, AAAI.

[37]  R. Simmons Representing and Reasoning About Change in Geologic Interpretation , 1983 .

[38]  Philippe Dague,et al.  Troubleshooting: When Modeling Is the Trouble , 1987, AAAI.

[39]  Chuck Rieger,et al.  The Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms , 1977, IJCAI.

[40]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[41]  Johan de Kleer Multiple Representations of Knowledge in a Mechanics Problem-Solver , 1977, IJCAI.