Two kinds of knowledge in scientific discovery

Topics in Cognitive Science

Volumn 2, Issue 1, 2010, Pages 36-52

  Bridewell, Will ^a   Langley, Pat ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Artificial intelligence; Constraints; Creativity; Knowledge representation; Processes; Scientific discovery; Scientific modeling

Indexed keywords

ARTIFICIAL INTELLIGENCE; HUMAN; KNOWLEDGE; PHYSIOLOGY; PROCEDURES; SCIENCE; THEORETICAL MODEL; THINKING;

ARTIFICIAL INTELLIGENCE; HUMANS; KNOWLEDGE; MODELS, THEORETICAL; SCIENCE; THINKING;

EID: 77958586007     PISSN: 17568757     EISSN: 17568765     Source Type: Journal    
DOI: 10.1111/j.1756-8765.2009.01050.x     Document Type: Article

References (42)

1. Arrigo, K. R., Worthen, D. L., & Robinson, D. H. (2003). A coupled ocean-ecosystem model of the Ross Sea: 2. Iron regulation of phytoplankton taxonomic variability and primary production. Journal of Geophysical Research - Oceans, 108, 24-1-24-17.
2. Asgharbeygi, N., Bay, S., Langley, P., & Arrigo, K. (2006). Inductive revision of quantitative process models. Ecological Modelling, 194, 70-79.
3. Atanasova, N., Todorovski, L., Džeroski, S., & Kompare, B. (2006). Constructing a library of domain knowledge for automated modelling of aquatic ecosystems. Ecological Modelling, 194, 14-36.
4. Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in the History and Philosophy of Biology and Biomedical Sciences, 36, 421-441.
5. Bradley, E., & Stolle, R. (1996). Automatic construction of accurate models of physical systems. Annals of Mathematics and Artificial Intelligence, 17, 1-28.
6. Bridewell, W., Borrett, S., & Todorovski, L. (2007). Extracting constraints for process modeling. In D. H. Sleeman & K. Barker (Eds.) Proceedings of the fourth international conference on knowledge capture (pp. 87-94). Whistler, British Columbia: ACM Press.
7. Bridewell, W., Langley, P., Todorovski, L., & Džeroski, S. (2008). Inductive process modeling. Machine Learning, 71, 1-32.
8. Bridewell, W., Sánchez, J. N., Langley, P., & Billman, D. (2006). An interactive environment for the modeling and discovery of scientific knowledge. International Journal of Human-Computer Studies, 64, 1099-1114.
9. Bridewell, W., & Todorovski, L. (2007). Learning declarative bias. In H. Blockeel, J. Ramon, J. Shavlik & P. Tadepalli (Eds.), Proceedings of the seventeenth annual international conference on inductive logic programming (pp. 63-77). Corvallis, OR: Springer.
10. Cartwright, N. (1999). Models and the limits of theory: Quantum Hamiltonians and the BCS models of superconductivity. In M. Morrison & M. S. Morgan (Eds.), Models as mediators (pp. 241-281). Cambridge, England: Cambridge University Press.
11. Cartwright, N., Shomar, T., & Suárez, M. (1995). The toolbox of science. In W. E. Herfel, K. Krajewski, I. Niinilvoto & R. Wojcicki (Eds.), Theories and models in scientific processes (pp. 137-149). Amsterdam: Rodopi.
12. Darden, L. (2002). Strategies for discovering mechanisms: Schema instantiation, modular subassembly, forward/backward chaining. Philosophy of Science, 69, S345-S365.
13. Davis, M., Logemann, G., & Loveland, D. (1962). A machine program for theorem-proving. Communications of the ACM, 5, 394-397.
14. Falkenhainer, B., & Forbus, K. D. (1991). Compositional modeling: Finding the right model for the job. Artificial Intelligence, 51, 95-143.
15. Feigenbaum, E. A., Buchanan, B. G., & Lederberg, J. (1971). On generality and problem solving: A case study using the DENDRAL program. Machine Intelligence, 6, 165-190.
16. Forbus, K. D. (1984). Qualitative process theory. Artificial Intelligence, 24, 85-168.
17. Forbus, K. D. (1997). Qualitative reasoning. In A. B. Tucker (Ed.), The computer science and engineering handbook (pp. 715-733). Boca Raton, FL: CRC Press.
18. Haefner, J. W. (2005). Modeling biological systems: Principles and applications. New York: Springer.
19. Jørgensen, S. E., & Bendoricchio, G. (2001). Fundamentals of ecological modelling. New York: Elsevier.
20. Jost, C., & Ellner, S. (2000). Testing for predator dependence in predator-prey dynamics: A non-parametric approach. Proceedings of the Royal Society of London B, 267, 1611-1620.
21. Keppens, J., & Shen, Q. (2001). On compositional modeling. Knowledge Engineering Review, 16, 157-200.
22. Klahr, D. (2002). Exploring science. Cambridge, MA: MIT Press.
23. Kulkarni, D., & Simon, H. A. (1990). Experimentation in machine discovery. In J. Shrager & P. Langley (Eds.), Computational models of scientific discovery and theory formation (pp. 255-273). San Mateo, CA: Morgan Kaufmann.
24. Langley, P., Sánchez, J. N., Todorovski, L., & Džeroski, S. (2002). Inducing process models from continuous data. In C. Sammut & A. G. Hoffman (Eds.), Proceedings of the nineteenth international conference on machine learning (pp. 347-354). Sydney: Australia.
25. Langley, P., Shiran, O., Shrager, J., Todorovski, L., & Pohorille, A. (2006). Constructing explanatory process models from biological data and knowledge. Artificial Intelligence in Medicine, 37, 191-201.
26. Langley, P., Simon, H. A., Bradshaw, G. L., & Zytkow J. M. (1987). Scientific discovery. Cambridge, MA: MIT Press.
27. Machamer, P. K., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67, 1-25.
28. Mahidadia, A., & Compton, P. (2001). Assisting model-discovery in neuroendocrinology. In K. P. Jantke & A. Shinohara (Eds.), Proceedings of the fourth international conference on discovery science (pp. 214-227). Washington, DC: Springer.
29. Nersessian, N. (2008). Creating scientific concepts. Cambridge, MA: MIT Press.
30. Newell, A., & Simon, H. A. (1976). Computer science as empirical inquiry: Symbols and search. Communications of the ACM, 19, 113-126.
31. Pazzani, M., & Flowers, M. (1990). Scientific discovery in the layperson. In J. Shrager & P. Langley (Eds.), Computational models of scientific discovery and theory formation (pp. 403-435). San Mateo, CA: Morgan Kaufmann.
32. Selman, B., Kautz, H., & Cohen, B. (1996). Local search strategies for satisfiability testing. In D. S. Johnson & M. A. Trick (Eds.), Cliques, coloring, and satisfiability. (pp. 521-532). Providence, RI: American Mathematical Society.
33. Suárez, M., & Cartwright, N. (2008). Theories: Tools versus models. Studies in History and Philosophy of Modern Physics, 39, 62-81.
34. Thagard, P. (2003). Pathways to biomedical discovery. Philosophy of Science, 70, 235-254.
35. Todorovski, L. (2003). Using domain knowledge for automated modeling of dynamic systems with equation discovery. Doctoral dissertation, Faculty of computer and information science, University of Ljubljana, Ljubljana, Slovenia.
36. Todorovski, L., Bridewell, W., Shiran, O., & Langley, P. (2005). Inducing hierarchical process models in dynamic domains. In M. Veloso & S. Kambhapati (Eds.), Proceedings of the twentieth national conference on artificial intelligence (pp. 892-897). Pittsburgh, PA.
37. Todorovski, L., & Džeroski, S. (1997). Declarative bias in equation discovery. In D. H. Fisher (Ed.), Proceedings of the fourteenth international conference on machine learning (pp. 376-384). Nashville, TN: Morgan Kaufmann.
38. Valdés-Pérez, R. E. (1995). Machine discovery in chemistry: New results. Artificial Intelligence, 74, 191-201.
39. Veilleux, B. G. (1979). An analysis of predatory interaction between Paramecium and Didinium. The Journal of Animal Ecology, 48, 787-803.
40. Zupan, B., Bratko, I., Demšar, J., Juvan, P., Kuspa, A., Halter, J. A., & Shaulsky, G. (2007). Discovery of genetic networks through abduction and qualitative simulation. In S. Džeroski & L. Todorovski (Eds.), Computational discovery of scientific knowledge (pp. 228-247). Berlin: Springer.
41. Zytkow, J. M. (1999). Model construction: Elements of a computational mechanism. In S. Cotton (Ed.), AISB'99 symposium on AI and scientific creativity. Edinburgh, Scotland.
42. Zytkow, J. M., Zhu, J., & Hussam, A. (1990). Automated discovery in a chemistry laboratory. T. Dietterich & W. Swertout (Eds.), Proceedings of the eighth national conference on artificial intelligence (pp. 889-894). Boston: AAAI Press.