Computer science research on scientific discovery

Knowledge Engineering Review

Volumn 11, Issue 1, 1996, Pages 57-66

  Valdés Pérez, Raúl E ^a  

^a Carnegie Mellon University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; INFERENCE ENGINES; RESEARCH;

SCIENTIFIC DISCOVERY; SCIENTIFIC REASONING;

NATURAL SCIENCES COMPUTING;

EID: 0030103309     PISSN: 02698889     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0269888900007682     Document Type: Article

References (40)

1. Bobrow, DG and Hayes, PJ, 1985, "Artificial intelligence - where are we?" Artificial Intelligence 25 (3) 375-415.
2. Buchanan, B, Smith, D, White, W, Gritter, R, Feigenbaum, E, Lederberg, J and Djerassi, C, 1976, "Applications of artificial intelligence for chemical inference. 22. automatic rule formation in mass spectrometry by means of the meta-dendral program" Journal of the American Chemical Society 98 (20) 6168-6178.
3. Carbonell, JG, 1992, "Machine learning: A maturing field" Machine Learning 9 5-7.
4. Chung, F, 1988, "The average distance and the independence number" Journal of Graph Theory 12 (2) 229-235.
5. Crevier, D, 1993, AI: The Tumultuous History of the Search for Artificial Intelligence, Basic Books.
6. Dunbar, K, 1995, "How scientists really reason: Scientific reasoning in real-world laboratories." In: The Nature of Insight, 365-395, MIT Press.
7. Gelernter, H, 1963, "Realization of a geometry-theorem proving machine." In: EA Feigenbaum and J Feldman, editors, Computers and Thought, McGraw-Hill.
8. Gordon, A, Edwards, P, Sleeman, D and Kodratoff, Y, 1994, "Scientific discovery in a space of structural models: An example from the history of solution chemistry." In: Proceedings of the 16th Conference of the Cognitive Science Society 381-386.
9. Hearn, AC, 1990, Future Directions for Research in Symbolic Computation, Siam, Philadelphia.
10. Hendrickson, J and Toczko, A, 1989, "SYNGEN program for synthesis design: basic computing techniques" Journal of Chemical Information and Computer Sciences 29 (3) 137-145.
11. Holmes, FL, 1980, "Hans Krebs and the discovery of the ornithine cycle." In: Proc of 63rd Annual Meeting of the Federation of American Societies for Experimental Biology 39, Symposium on Aspects of the History of Biochemistry.
12. Klahr, D and Dunbar, K, 1988, "Dual space search during scientific reasoning" Cognitive Science 121-48.
13. Kocabas, S, 1991a, "Conflict resolution as discovery in particle physics" Machine Learning 6 (3), May, 277-309.
14. Kocabas, S, 1991b, "Computational models of scientific discovery", Knowledge Engineering Review 6 (4) 259-305.
15. Kulkarni, D and Simon, H, 1988, "The processes of scientific discovery: The strategy of experimentation" Cognitive Science 12 139-175.
16. Langley, P, 1986, "Editorial: On machine learning" Machine Learning 15-10.
17. Langley, P and Michalski, RS, 1986, "Editorial: Machine learning and discovery" Machine Learning 1363-366.
18. Langley, P, Simon, H, Bradshaw, G and Zytkow, J. 1987, Scientific Discovery: Computational Explorations of the Creative Processes, MIT Press.
19. Lea, G and Simon, HA, 1974, "Problem solving and rule induction: A unifield view." In: LW Gregg, editor, Knowledge and Cognition, Lawrence Erlbaum.
20. Lindsay, R, Buchanan, B, Feigenbaum, E and Lederberg, J, 1980, Applications of Artificial Intelligence for Organic Chemistry: The Dendral Project, McGraw-Hill.
21. Lindsay, R, Buchanan, B, Feigenbaum, E amd Lederberg, J, 1993, "DENDRAL: a case study of the first expert system for scientific hypothesis formation" Artificial Intelligence 61 (2) June, 209-261.
22. Mackenzie, D, 1995, "The automation of proof: a historical and sociological exploration" IEEE Annals of the History of Computing 17 (3) 7-29.
23. Newell, A, 1983, "The heuristic of George Polya and its relation to artificial intelligence." In: R Groner, M Groner and W Bischof, editors, Methods of Heuristics, Lawrence Erlbaum.
24. Newell, A and Simon HA, 1972, Human Problem Solving, Prentice-Hall.
25. Newell, A and Simon, HA, 1976, "Computer science as empirical inquiry: Symbols and search" Communications of the ACM 19 111-126.
26. Oliver, JE, 1991, The Incomplete Guide to the Art of Discovery, Columbia University Press.
27. Salmon, W, 1966, The Foundations of Scientific Inference, University of Pittsburgh Press. In: J Shrager and P Langley, editors, Computational Models of Scientific Discovery and Theory formation, Morgan Kaufmann.
28. Simon, HA, 1987, "Why should machines learn" Machine Learning 1 25-38.
29. Spirtes, P, Glymour, C and Scheines, R, 1993, Causation, Prediction, and Search, Springer-Verlag.
30. Stevenson, D, 1994, "Science, computational science, and computer science: At a crossroads" Communications of the ACM 37 (12) December, 85-96.
31. Thagard, P and Nowak, G, 1990, "The conceptual structure of the geological revolution." In: J Shrager and P Langley, editors, Computational Models of Scientific Discovery and Theory Formation 27-172, Morgan Kaufman.
32. Tweney, RD, 1990, "Five questions for computationalists." In: J Shrager and P Langley, editors, Computational Models of Scientific Discovery and Theory Formation 471-484, Morgan Kaufmann.
33. Valdés-Perez, RE, 1994a, "Algebraic reasoning about reactions: Discovery of conserved properties in particle physics" Machine Learning 17 (1) 47-68.
34. Valdes-Perez, RE, 1994b, "Human/computer interactive elucidation of reaction mechanisms: Application to catalyzed hydrogenolysis of ethane" Catalysis Letters 28 (1) September, 79-87.
35. Valdés-Perez, RE, 1995a, "Generic tasks of scientific discovery." In: Working Notes of the Spring Symposium on Systematic Methods of Scientific Discovery, AAAI Technical Reports.
36. Valdés-Perez, RE, 1995b, "Machine discovery in chemistry: New results" Artificial Intelligence 74 (1) March, 191-201.
37. Valdés-Perez, RE, 1995c, "Machine discovery praxis" Foundations of Science 1 (2) 219-224.
38. Valdés-Perez, RE, 1995d, "Some recent human/computer discoveries in science and what accounts for them" AI Magazine 16 (3) Fall, 37-44.
39. Valdés-Perez, RE and Erdmann, M, 1994, "Systematic induction and parsimony of phenomenological conservation laws" Computer Physics Communications 83 (2-3) 171-180.
40. Zytkow, J, 1993, Machine Learning 12 (1). Special double issue on machine discovery.