QPE: Using assumption-based truth maintenance for qualitative simulation

Abstract Efficient qualitative simulators are crucial to continued progress in qualitative physics. Assumption-based truth maintenance systems (ATMS) were developed in part to simplify writing such programs. This paper identifies several abstractions for organizing ATMS-based problem-solvers which are especially useful for envisioning. In particular, we describe the many-worlds database , which avoids complex temporal reference schemes; how to organize problem-solving into justify/assume/interpret cycles which successively construct and extend partial solutions; and closed-world tables , which provide a mechanism for making closed-world assumptions. We sketch the design of the Qualitative Process Engine , QPE, an implementation of Qualitative Process theory, to illustrate the utility of these abstractions. On the basis of our experience in developing QPE and analysing its performance, we draw some general conclusions about the advantages and disadvantages of assumption-based truth maintenance systems.

[1]  Kenneth D. Forbus.  The Problem of Existence , 1985 .

[2]  Brian Falkenhainer,et al.  Setting up Large-Scale Qualitative Models , 1988, AAAI.

[3]  Johan de Kleer,et al.  Causal and Teleological Reasoning In Circuit Recognition , 1979 .

[4]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[5]  Philip Edwin London,et al.  Dependency networks as a representation for modelling in general problem solvers. , 1978 .

[6]  Johan de Kleer,et al.  Problem Solving with the ATMS , 1986, Artif. Intell..

[7]  Kenneth D. Forbus.  Interpreting Observations of Physical Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[8]  Johan de Kleer,et al.  Extending the ATMS , 1986, Artif. Intell..

[9]  Benjamin Kuipers,et al.  Commonsense Reasoning about Causality: Deriving Behavior from Structure , 1984, Artif. Intell..

[10]  Kenneth D. Forbus.  The Logic of Occurrence , 1987, IJCAI.

[11]  Kenneth D. Forbus,et al.  Reasoning about Fluids via Molecular Collections , 1987, AAAI.

[12]  Daniel S. Weld.  The Use of Aggregation in Causal Simulation , 1986, Artif. Intell..

[13]  H. H. Richardson,et al.  Introduction to system dynamics , 1967 .

[14]  David A. McAllester.  An Outlook on Truth Maintenance. , 1980 .

[15]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..

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

[17]  Johan de Kleer,et al.  Choices Without Backtracking , 1984, AAAI.

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

[19]  Brian C. Williams,et al.  Back to Backtracking: Controlling the ATMS , 1986, AAAI.

[20]  David A. McAllester,et al.  Reasoning Utility Package User's Manual, Version One , 1982 .

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

[22]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

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

[24]  Paul Morris,et al.  Representing Actions with an Assumption-Based Truth Maintenance System , 1986, AAAI.

[25]  Brian Falkenhainer,et al.  An Examination of the Third Stage in the Analogy Process: Verification-based Analogical Learning , 1987, IJCAI.

[26]  Kenneth D. Forbus.  Introducing Actions into Qualitative Simulation , 1989, IJCAI.

[27]  Gerald J. Sussman,et al.  Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis , 1976, Artif. Intell..

[28]  Kenneth D. Forbus.  Qualitative Reasoning about Physical Processes , 1981, IJCAI.

[29]  Kenneth D. Forbus.  The qualitative process engine , 1989 .

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

[31]  Kenneth D. Forbus,et al.  Focusing the ATMS , 1988, AAAI.

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

[33]  Gerald Jay Sussman,et al.  The Conniver Reference Manual , 1972 .

[34]  John C. Hogge.  Compiling Plan Operators from Domains Expressed in Qualitative Process Theory , 1987, AAAI.

[35]  Daniel S. Weld.  The use of aggregation in qualitative simulation , 1986 .

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

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