Model-based identification of Systematic errors in measurements

Large-scale databases and knowledge bases with property measurements obtained in scientific experiments or at observation sites have become available in the past decade. With the growing use of these so-called measurement bases, the task of ascertaining the accuracy of measurements is becoming increasingly important. We introduce an implemented method for the model-based identification of systematic errors which has been applied in a case-study in materials science. The method is formalized in terms of QR and MBD techniques, which provides correctness guarantees and facilitates extensions.

[1]  Dennis DeCoste,et al.  Dynamic Across-Time Measurement Interpretation , 1990, Artif. Intell..

[2]  Hidde de Jong,et al.  Computer-supported analysis of scientific measurements , 1998 .

[3]  Benjamin Kuipers,et al.  Qualitative reasoning: Modeling and simulation with incomplete knowledge , 1994, Autom..

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

[5]  Andreas Malik,et al.  Peter Struss : Diagnosis of Dynamic Systems Does Not Necessarily Require Simulation , 1996 .

[6]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

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

[8]  Daniel S. Weld Theories of comparative analysis , 1990 .

[9]  Kenneth D. Forbus Interpreting Observations of Physical Systems , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[10]  Adam Farquhar,et al.  A Qualitative Physics Compiler , 1994, AAAI.

[11]  Benjamin Kuipers,et al.  Process monitoring and diagnosis: a model-based approach , 1991, IEEE Expert.

[12]  E. Dörre,et al.  Alumina: Processing, Properties, and Applications , 1984 .

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

[14]  Hidde de Jong,et al.  CEC: Comparative Analysis by Envisionment Construction , 1996, European Conference on Artificial Intelligence.

[15]  Michael Neitzke,et al.  Relativsimulation von Störungen in technischen Systemen , 1997, DISKI.

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

[17]  Arie Rip,et al.  The Computer Revolution in Science: Steps Towards the Realization of Computer-Supported Discovery Environments , 1997, Artif. Intell..

[18]  M. D. Morris,et al.  Errors in Practical Measurement in Science, Engineering, and Technology , 1978 .

[19]  David Haussler,et al.  Mining scientific data , 1996, CACM.

[20]  Hidde de Jong,et al.  Comparative Analysis of STructurally Different Dynamical Systems , 1997, IJCAI.

[21]  P. Pandurang Nayak,et al.  Automated Modeling of Physical Systems , 1995, Lecture Notes in Computer Science.