Task-Driven Model Abstraction

Since algorithms for tasks such as design, diagnosis, and analysis become intractable when manipulating large models, we explore techniques for automatically abstracting a concrete model using the current task for guidance . First we define the downward-solution and downward-failure properties on abstractions of artifact models . Then we use these tools to analyze the abstractions used by some existing programs for design and analysis . Finally, we describe how these properties can be used to direct the selection of useful abstractions for the task of analysis .ions for the task of analysis .

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

[2]  John Gaschnig,et al.  A Problem Similarity Approach to Devising Heuristics: First Results , 1979, IJCAI.

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

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

[5]  Richard E. Korf,et al.  Planning as Search: A Quantitative Approach , 1987, Artif. Intell..

[6]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[7]  Louis I. Steinberg.  Design as Refinement Plus Constraint Propagation: The VEXED Experience , 1987, AAAI.

[8]  Benjamin Kuipers,et al.  Abstraction by Time-Scale in Qualitative Simulation , 1987, AAAI.

[9]  Inderpal S. Bhandari,et al.  Formal Basis for Commonsense Abstraction of Dynamic Systems , 1988, AAAI.

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

[11]  Seshashayee S. Murthy.  Qualitative Reasoning at Multiple Resolutions , 1988, AAAI.

[12]  Walter Charles Hamscher.  Model-based troubleshooting of digital systems , 1988 .

[13]  Brian C. Williams,et al.  MINIMA: A Symbolic Approach to Qualitative Algebraic Reasoning , 1988, AAAI.

[14]  Alan Bundy,et al.  Explanation-Based Generalisation = Partial Evaluation , 1988, Artif. Intell..

[15]  Jack Mostow,et al.  Discovering Admissible Heuristics by Abstracting and Optimizing: A Transformational Approach , 1989, IJCAI.

[16]  Daniel S. Weld.  Automated model switching: Discrepancy driven selection of approximation reformulations , 1989 .

[17]  Josh D. Tenenberg.  Inheritance in Automated Planning , 1989, KR.

[18]  Brian Charles Williams,et al.  Invention from first principles via topologies of interaction , 1989 .

[19]  Sanjaya Addanki,et al.  Reasoning About Assumptions in Graphs of Models , 1989, IJCAI.

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

[21]  Steven Minton,et al.  Quantitative Results Concerning the Utility of Explanation-based Learning , 1988, Artif. Intell..

[22]  R. G. Coyle,et al.  Introduction to system dynamics , 1996 .