Skip to main content
SpringerLink
Log in

Computer-Supported Resolution of Measurement Conflicts: A Case-Study in Materials Science

  • Published:
Foundations of Science Aims and scope Submit manuscript

Abstract

Resolving conflicts between different measurements ofa property of a physical system may be a key step in a discoveryprocess. With the emergence of large-scale databases and knowledgebases with property measurements, computer support for the task ofconflict resolution has become highly desirable. We will describe amethod for model-based conflict resolution and the accompanyingcomputer tool KIMA, which have been applied in a case-study inmaterials science. In order to be a useful aid to scientists, the toolneeds to be integrated with other tools in a computer-supporteddiscovery environment. We will give an outline of such acomputer-supported discovery environment and argue that its use mightlead to new ways of doing science, so-called computer regimes.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

REFERENCES

  • Barry, B.: 1978, Errors in Practical Measurement in Science, Engineering and Technology. New York: John Wiley & Sons.

    Google Scholar 

  • Collins, H. (ed.): 1981, Knowledge and Controversy: Studies of Modern Natural Science. Social Studies of Science 11: 3-158.

  • Collins, H.: 1992, Changing Order: Replication and Induction in Scientific Practice. Chicago: University of Chicago Press, 2nd edition.

    Google Scholar 

  • Courtney, T.: 1990, Mechanical Behavior of Materials. McGraw-Hill, New York.

    Google Scholar 

  • Darden, L.: 1991, Diagnosing and Fixing Faults in Theories. In J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann, San Mateo, CA, 319-353.

    Google Scholar 

  • Davidge, R.: 1979, Mechanical Behaviour of Ceramics. Cambridge: Cambridge University Press.

    Google Scholar 

  • de Jong, H.: 1998, Computer-supported Analysis of Scientific Measurements. Ph.D. thesis, University of Twente, Enschede, the Netherlands.

    Google Scholar 

  • de Jong, H., V. de Wit, N. Mars and P. van der Vet: 1998, Model-based Identification of Systematic Errors in Measurements. In F. Zhao and K. Yip (eds.), Working Notes of the 12th International Workshop on Qualitative Reasoning, QR-98. Menlo Park, CA, 32-41.

  • de Jong, H. and A. Rip: 1997, The Computer Revolution In Science: Steps towards the Realization of Computer-supported Discovery Environments. Artificial Intelligence 91: 225-256.

    Google Scholar 

  • de Jong, H. and F. van Raalte: 1997, Comparative Analysis of Structurally Different Dynamical Systems. In M. Pollack (ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. San Francisco, CA, 486-491.

  • de Wit, V. and H. de Jong: 1998, Implementatie van KIMA. Memorandum UTKBS-98-06, University of Twente, Enschede, the Netherlands.

    Google Scholar 

  • Falkenhainer, B.: 1991, A Unified Approach to Explanation and Theory Formation. In J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann, San Mateo, CA, 157-196.

    Google Scholar 

  • Falkenhainer, B. and K. Forbus: 1991, Compositional Modeling: Finding the Right Model for the Job. Artificial Intelligence 51: 95-143.

    Google Scholar 

  • Farquhar, A.: 1994, A Qualitative Physics Compiler. In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94. Menlo Park, CA/Cambridge, MA, 1168-1174.

  • Fayyad, U., D. Haussler and P. Stolorz: 1996, Mining Scientific Data. Communications of the ACM 39(11): 51-57.

    Google Scholar 

  • Forbus, K.: 1984, Qualitative Process Theory. Artificial Intelligence 24: 85-168.

    Google Scholar 

  • Franklin, A.: 1986, The Neglect of Experiment. Cambridge: Cambridge University Press.

    Google Scholar 

  • Galison, P.: 1987, How Experiments End. Chicago: University of Chicago Press.

    Google Scholar 

  • Gooding, D., T. Pinch and S. Schaffer (eds.): 1989, The Uses of Experiment: Studies in the Natural Sciences. Cambridge: Cambridge University Press.

    Google Scholar 

  • Hacking, I.: 1983, Representing and Intervening: Introductory Topics in the Philosophy of Natural Science. Cambridge: Cambridge University Press.

    Google Scholar 

  • Hau, D. and E. Coiera 1993, Learning Qualitative Models of Dynamic Systems. Machine Learning 26: 177-211.

    Google Scholar 

  • Hunter, J. and F. Schmidt: 1990, Methods of Meta-Analysis: Correcting Error and Bias in Research Findings. Sage Publications, Newbury Park.

    Google Scholar 

  • Iwasaki, Y., A. Farquhar, R. Fikes and J. Rice: 1997, A Web-Based Compositional Modeling System for Sharing of Physical Knowledge. In M. Pollack (ed.), Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI-97. San Francisco, CA, 494-500.

  • Karp, P.: 1993, Design Methods for Scientific Hypothesis Formation and their Application to Molecular Biology. Machine Learning 12: 89-116.

    Google Scholar 

  • Kettler, B. and L. Darden: 1993, Protein Sequencing Experiment Planning Using Analogy. In L. Hunter, D. Searls and J. Shavlik (eds.), Proceedings of the First International Conference on Intelligent Systems for Molecular Biology. Menlo Park, CA/Cambridge, MA, 216-224.

  • Kuhn, T.: 1970, The Structure of Scientific Revolutions. Chicago: The University of Chicago Press, 2nd edition.

    Google Scholar 

  • Kuipers, B.: 1994, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Cambridge, MA: MIT Press.

    Google Scholar 

  • Kulkarni, D. and Simon: 1991, Experimentation in Machine Discovery. In J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann, San Mateo, CA, 255-273.

    Google Scholar 

  • Langley, P., H. Simon, G. Bradshaw and J. Zytkow: 1987, Scientific Discovery: Computational Explorations of the Creative Processes. Cambridge, MA: MIT Press.

    Google Scholar 

  • Latour, B. and S. Woolgar: 1986, Laboratory Life, The Construction of Scientific Facts. Princeton, NJ: Princeton University Press, 2nd edition.

    Google Scholar 

  • Levy, A., Y. Iwasaki and R. Fikes: 1997, Automated Model Selection for Simulation Based on Relevance Reasoning. Artificial Intelligence 96: 351-394.

    Google Scholar 

  • Marschall, C. and A. Rudnick: 1974, Conventional Strength Testing. In R. Bradt, D. Hasselman and F. Lange (eds.), Fracture Mechanics of Ceramics. Volume I: Concepts, Flaws and Fractography. New York: Plenum Press, 69-52.

    Google Scholar 

  • Polak, P.: 1979, Systematic Errors in Engineering Physics. London: Macmillan Press.

    Google Scholar 

  • Pos, A., H. Akkermans and J. Top: 1998, Automated Model Revision. IEEE Intelligent Systems & Their Applications 13(2).

  • Quinn, G.: 1991, Strength and Proof Testing. In S.Z. Schneider et. al. (eds.), Engineered Materials Handbook. Volume 4: Ceramics and Glasses. ASM International, 585-598.

  • Rajamoney, S.: 1991, A Computational Approach to Theory Revision. In J. Shrager and P. Langley (eds.), Computational Models of Scientific Discovery and Theory Formation. Morgan Kaufmann, San Mateo, CA, 225-253.

    Google Scholar 

  • Richards, B. and I. Kraan: 1996, Automated Abduction of Qualitative Models. In Proceedings of the Tenth National Conference on Artificial Intelligence, AAAI-92. Menlo Park, CA/Cambridge, MA, 723-728.

  • Schut, C. and B. Bredeweg: 1996, An Overview of Approaches to Qualitative Model Construction. Knowledge Engineering Review 11(1): 1-25.

    Google Scholar 

  • Squires, G.: 1985, Practical Physics. Cambridge: Cambridge University Press, 3rd edition.

    Google Scholar 

  • Valdés-Pérez, R.: 1994, Conjucturing Hidden Entities by Means of Simplicity and Conservation Laws: Machine Discovery in Chemistry. Artificial Intelligence 65: 247-280.

    Google Scholar 

  • van den Bosch, A.: 1999, Inference to the Best Manipulation: A Case-study of Qualitative Reasoning in Neuropharmacy. Foundations of Science. This issue.

  • Vatcheva, I. and H. de Jong: 1999, Semi-quantitative Comparative Analysis. In Dean T. (ed.), Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI-99. San Francisco, CA, 1034-1040.

  • Żytkow, J. and P. Fischer: 1996, Incremental Discovery of Hidden Structure: Applications in Theory of Elementary Particles. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, AAAI-96. Menlo Park, CA/Cambridge, MA, 750-756.

Download references

Author information

Authors and Affiliations

  1. Institut National de Recherche en Informatique et en, Automatique (INRIA), Unité de recherche Rhône-Alpes, ZIRST, 655 avenue de l'Europe, 38330, Montbonnot Saint Martin, France, E-mail

    Hidde de Jong

  2. Department of Computer Science, University of Twente, P.O. Box 217, 7500, AE Enschede, The Netherlands E-mail

    Nicolaas Mars & Paul van der Vet

Authors
  1. Hidde de Jong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicolaas Mars
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Paul van der Vet
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

de Jong, H., Mars, N. & van der Vet, P. Computer-Supported Resolution of Measurement Conflicts: A Case-Study in Materials Science. Foundations of Science 4, 427–461 (1999). https://doi.org/10.1023/A:1009647918454

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1009647918454

Search

Navigation