论文信息 - A step toward reusable model fragments.

A step toward reusable model fragments.

In this paper we describe a system to elaborate models which are suitable for model based reasoning. A set of model fragments selected from a library will be put together to build a model candidate. The system relies on the bond graph notation, which allows a uniform approach for the different physical domains and offers a compositional view of the system. Modeling requires the exploration of a search space of potential model candidates. These models are checked to be consistent with a set of behavior constraints and modeling hypotheses provided by the user.

Hatem Ahriz | M. Tomasena

[1] D. A. Linkens,et al. Automatic modelling and analysis of dynamic physical systems using qualitative reasoning and bond graphs , 1993 .

[2] Pietro Torasso,et al. A Theory of Diagnosis for Incomplete Causal Models , 1989, IJCAI.

[3] Gautam Biswas,et al. A Formal Modeling Scheme for Continuous Systems: Focus on Diagnosis , 1993, IJCAI.

[4] 中園薫. A Qualitative Physics Based on Confluences , 1986 .

[5] Philippe Dague,et al. Troubleshooting: When Modeling Is the Trouble , 1987, AAAI.

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

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

[8] Dean Karnopp,et al. Introduction to physical system dynamics , 1983 .

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

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

[11] Jan L. Top,et al. Computational and Physical Causality , 1991, IJCAI.

[12] Alon Y. Halevy,et al. Automated Model Selection for Simulation , 1994, AAAI.

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

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

[15] Hatem Ahriz,et al. Automatic modelling for diagnosis. , 1997 .