Causal Approximations

Adequate problem representations require the identification of abstractions and approximations that are well suited to the task at hand. In this paper we introduce a new class of approximations, called causal approximations, that are commonly found in modeling the physical world. Causal approximations support the efficient generation of parsimonious causal explanations, which play an important role in reasoning about engineered devices. The central problem to be solved in generating parsimonious causal explanations is the identification of a simplest model that explains the phenomenon of interest. We formalize this problem and show that it is, in general, intractable. In this formalization, simplicity of models is based on the intuition that using more approximate models of fewer phenomena leads to simpler models. We then show that when all the approximations are causal approximations, the above problem can be solved in polynomial time.

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

[2]  Earl D. Sacerdoti,et al.  Planning in a Hierarchy of Abstraction Spaces , 1974, IJCAI.

[3]  Bart Selman,et al.  Knowledge Compilation using Horn Approximations , 1991, AAAI.

[4]  Walter Hamscher,et al.  Modeling Digital Circuits for Troubleshooting , 1991, Artif. Intell..

[5]  Sanjaya Addanki,et al.  Graphs of Models , 1991, Artif. Intell..

[6]  Scott Bennett,et al.  Approximation in Mathematical Domains , 1987, IJCAI.

[7]  Daniel S. Weld Reasoning about Model Accuracy , 1992, Artif. Intell..

[8]  Johan de Kleer,et al.  Readings in qualitative reasoning about physical systems , 1990 .

[9]  Brian Falkenhainer,et al.  Compositional Modeling: Finding the Right Model for the Job , 1991, Artif. Intell..

[10]  Brian C. Williams,et al.  Critical Abstraction : Generating Simplest Models for Causal Explanation , 1991 .

[11]  Saul Amarel,et al.  On representations of problems of reasoning about actions , 1968 .

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

[13]  Yumi Iwasaki,et al.  Causal Ordering in a Mixed Structure , 1988, AAAI.

[14]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[15]  Olivier Raiman,et al.  Order of Magnitude Reasoning , 1986, Artif. Intell..

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

[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]  Johan de Kleer,et al.  A Qualitative Physics Based on Confluences , 1984, Artif. Intell..

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

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

[23]  David Serrano,et al.  Constraint Management in Conceptual Design , 1989 .

[24]  Leo Joskowicz,et al.  Automated Model Selection Using Context-Dependent Behaviors , 1992, AAAI.

[25]  Casimir A. Kulikowski,et al.  A Model-Based Method for Computer-Aided Medical Decision-Making , 1978, Artif. Intell..