Rational Model Selection in Large Engineering Knowledge Bases

It is generally admitted that several models differing along various dimensions are needed for executing complex engineering tasks such as diagnosis and monitoring. A key problem is thus to decide what model to use in a particular situation in front of a specified problem-solving task and reasoning objectives. We address this problem within the Multimodeling framework for reasoning about physical systems that we proposed in a previous work. After having characterized the space of possible models in the Multimodeling approach, we formulate the selection problem using the conceptual tools offered by the economic theory of rationality. In this frame we illustrate a preference-based model selection method that is used to navigate in the universe of available models of a system searching for the model that best matches a given task and reasoning objectives. The method exploits the use of a model map that is a metalevel concept representing the ontology and teleology of each model and the transformational relat...

[1]  Arthur M. Farley,et al.  Structural Aggregation in Common-Sense Reasoning , 1991, AAAI.

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

[3]  Jens Rasmussen,et al.  The role of hierarchical knowledge representation in decisionmaking and system management , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[4]  Jens Rasmussen,et al.  Diagnostic reasoning in action , 1993, IEEE Trans. Syst. Man Cybern..

[5]  Paul A. Fishwick,et al.  The role of process abstraction in simulation , 1988, IEEE Trans. Syst. Man Cybern..

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

[7]  Fausto Giunchiglia,et al.  A Theory of Abstraction , 1992, Artif. Intell..

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

[9]  Gordon Skorstad.  Towards a Qualitative Lagrangian Theory of Fluid Flow , 1992, AAAI.

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

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

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

[13]  Daniel D. Suthers.  Preferences for Model Selection in Explanation , 1993, IJCAI.

[14]  Shankar A. Rajamoney,et al.  Qualitative Reasoning with Microscopic Theories , 1990, AAAI.

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

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

[17]  Peter Szolovits,et al.  What Is a Knowledge Representation? , 1993, AI Mag..

[18]  Jon Doyle,et al.  Doyle See Infer Choose Do Perceive Act , 2009 .

[19]  Luca Chittaro,et al.  Putting functional knowledge on firmer ground , 1994, Appl. Artif. Intell..

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

[21]  Brian Falkenhainer,et al.  Ideal Physical Systems , 1993, AAAI.

[22]  Igor Mozetic,et al.  Hierarchical Model-Based Diagnosis , 1991, Int. J. Man Mach. Stud..

[23]  Giovanni Guida,et al.  Functional and teleological knowledge in the multimodeling approach for reasoning about physical systems: a case study in diagnosis , 1993, IEEE Trans. Syst. Man Cybern..

[24]  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.

[25]  Marvin Minsky,et al.  Matter, Mind and Models , 1965 .

[26]  P. Pandurang Nayak,et al.  Representing Multiple Theories , 1994, AAAI.

[27]  J. Riedesel.  Diagnosing Multiple Faults in SSM/PMAD , 1990, Proceedings of the 25th Intersociety Energy Conversion Engineering Conference.