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.
Similar content being viewed by others
REFERENCES
Barry, B.: 1978, Errors in Practical Measurement in Science, Engineering and Technology. New York: John Wiley & Sons.
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.
Courtney, T.: 1990, Mechanical Behavior of Materials. McGraw-Hill, New York.
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.
Davidge, R.: 1979, Mechanical Behaviour of Ceramics. Cambridge: Cambridge University Press.
de Jong, H.: 1998, Computer-supported Analysis of Scientific Measurements. Ph.D. thesis, University of Twente, Enschede, the Netherlands.
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.
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.
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.
Falkenhainer, B. and K. Forbus: 1991, Compositional Modeling: Finding the Right Model for the Job. Artificial Intelligence 51: 95-143.
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.
Forbus, K.: 1984, Qualitative Process Theory. Artificial Intelligence 24: 85-168.
Franklin, A.: 1986, The Neglect of Experiment. Cambridge: Cambridge University Press.
Galison, P.: 1987, How Experiments End. Chicago: University of Chicago Press.
Gooding, D., T. Pinch and S. Schaffer (eds.): 1989, The Uses of Experiment: Studies in the Natural Sciences. Cambridge: Cambridge University Press.
Hacking, I.: 1983, Representing and Intervening: Introductory Topics in the Philosophy of Natural Science. Cambridge: Cambridge University Press.
Hau, D. and E. Coiera 1993, Learning Qualitative Models of Dynamic Systems. Machine Learning 26: 177-211.
Hunter, J. and F. Schmidt: 1990, Methods of Meta-Analysis: Correcting Error and Bias in Research Findings. Sage Publications, Newbury Park.
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.
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.
Kuipers, B.: 1994, Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. Cambridge, MA: MIT Press.
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.
Langley, P., H. Simon, G. Bradshaw and J. Zytkow: 1987, Scientific Discovery: Computational Explorations of the Creative Processes. Cambridge, MA: MIT Press.
Latour, B. and S. Woolgar: 1986, Laboratory Life, The Construction of Scientific Facts. Princeton, NJ: Princeton University Press, 2nd edition.
Levy, A., Y. Iwasaki and R. Fikes: 1997, Automated Model Selection for Simulation Based on Relevance Reasoning. Artificial Intelligence 96: 351-394.
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.
Polak, P.: 1979, Systematic Errors in Engineering Physics. London: Macmillan Press.
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.
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.
Squires, G.: 1985, Practical Physics. Cambridge: Cambridge University Press, 3rd edition.
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.
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.
Author information
Authors and Affiliations
Rights 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
Issue Date:
DOI: https://doi.org/10.1023/A:1009647918454