Task-dependent qualitative domain abstraction

Automated problem-solving for engineered devices is based on models that capture the essential aspects of the behavior. In this paper, we deal with the problem of automatically abstracting behavior models such that their level of granularity is as coarse as possible, but still sufficiently detailed to carry out a given behavioral prediction or diagnostic task. A task is described by a behavior model, as composed from a library, a specified granularity of the possible observations, and a specified granularity of the desired results. The goal of task-dependent qualitative domain abstraction is to determine maximal partitions for the variables' domains (termed qualitative values) that retain all the necessary distinctions. We present a formalization of this problem within a relational (constraint-based) framework, and devise solutions to automatically determine qualitative values for a device model. The results enhance the ability to use a behavior model of a device as a common basis to support different tasks along its life cycle.

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

[2]  Benjamin Kuipers,et al.  Qualitative and Quantitative Simulation: Bridging the Gap , 1997, Artif. Intell..

[3]  B. Kuipers.  Qualitative Simulation , 1986, Artif. Intell..

[4]  Brian C. Williams,et al.  A Theory of Interactions: Unifying Qualitative and Quantitative Algebraic Reasoning , 1991, Artif. Intell..

[5]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[6]  Kenneth Man-kam Yip,et al.  Model Simplification by Asymptotic Order of Magnitude Reasoning , 1993, Artif. Intell..

[7]  Daniele Theseider Dupré,et al.  Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models , 1999, AI Commun..

[8]  P. Pandurang Nayak,et al.  Causal Approximations , 1992, Artif. Intell..

[9]  Peter Struss.  What's in SD?: Towards a theory of modeling for diagnosis , 1992 .

[10]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[11]  Peter Struss,et al.  A Prototype for Model-based On-board Diagnosis of Automotive Systems , 2000, AI Commun..

[12]  Brian C. Williams,et al.  Improving Model-based Mode Estimation through Offline Compilation , 2001 .

[13]  Bruce W. Porter,et al.  Automated Modeling of Complex Systems to Answer Prediction Questions , 1997, Artif. Intell..

[14]  Boi Faltings,et al.  Recent advances in qualitative physics , 1993 .

[15]  Eugene C. Freuder.  Eliminating Interchangeable Values in Constraint Satisfaction Problems , 1991, AAAI.

[16]  Alon Y. Halevy,et al.  Automated Model Selection for Simulation Based on Relevance Reasoning , 1997, Artif. Intell..

[17]  Peter Struss.  Automated Abstraction of Numerical Simulation Models - Theory and Practical Experience , 2003 .

[18]  Hidde de Jong,et al.  Comparative envisionment construction: A technique for the comparative analysis of dynamical systems , 1999, Artif. Intell..

[19]  Georg Gottlob,et al.  A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.

[20]  Martin Sachenbacher.  Automated qualitative abstraction and its application to automotive systems , 2001 .

[21]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

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

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

[24]  Pietro Torasso,et al.  Automatic Abstraction in Component-Based Diagnosis Driven by System Observability , 2003, IJCAI.

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

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

[27]  A. John Mallinckrodt,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, at - Automatisierungstechnik.

[28]  Leo Joskowicz,et al.  Efficient Compositional Modeling for Generating Causal Explanations , 1996, Artif. Intell..

[29]  Peter Struss,et al.  Advances in Design and Implementation of OBD Functions for Diesel Injection Based on a Qualitative Approach to Diagnosis , 2000 .