Generalized Physical Networks for Automated Model Building

We present a new knowledge representation and reasoning framework for modeling nonlinear dynamical systems. The goals of this framework are to smoothly incorporate varying levels of domain knowledge and to tailor the reasoning methods - and hence the search space -- accordingly. Our solution exploits generalized physical networks (GPN), a rneta-level representation of idealized two-terminal elements, together with a hierarchy of qualitative and quantitative analysis tools, to produce a dynamic modeling domain whose complexity naturally adapts to the amount of available information about the target system.

[1]  Benjamin Kuipers,et al.  A Compositional Modeling Language , 1996 .

[2]  Bernd Neumann,et al.  Qualitative Reasoning about Electrical Circuits using Series-Parallel-Star Trees , 1996 .

[3]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[4]  Jonathan Amsterdam,et al.  Automated qualitative modeling of dynamic physical systems , 1993 .

[5]  Pieter J. Mosterman,et al.  Formal Specifications for Hybrid Dynamical Systems , 1997, IJCAI.

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

[7]  C. S. Hsu,et al.  Cell-to-Cell Mapping , 1987 .

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

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

[10]  Alan S. Perelson,et al.  System Dynamics: A Unified Approach , 1976, IEEE Transactions on Systems, Man, and Cybernetics.

[11]  Steven H. Strogatz,et al.  Nonlinear Dynamics and Chaos , 2024 .

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

[13]  Elizabeth Bradley,et al.  Multimodal Reasoning for Automatic Model Construction , 1998, AAAI/IAAI.

[14]  Liliana Ironi,et al.  Automated mathematical modeling from experimental data: an application to material science , 1998, IEEE Trans. Syst. Man Cybern. Part C.

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

[16]  Martin Casdagli,et al.  A Dynamical Systems Approach to Modeling Input-Output Systems , 1992 .

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

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