Skip to main content

2017 | OriginalPaper | Buchkapitel

33. Computational Scientific Discovery

verfasst von : Peter D. Sozou, Peter C.R. Lane, Mark Addis, Fernand Gobet

Erschienen in: Springer Handbook of Model-Based Science

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Computational scientific discovery is becoming increasingly important in many areas of science. This chapter reviews the application of computational methods in the formulation of scientific ideas, that is, in the characterization of phenomena and the generation of scientific explanations, in the form of hypotheses, theories, and models. After a discussion of the evolutionary and anthropological roots of scientific discovery, the nature of scientific discovery is considered, and an outline is given of the forms that scientific discovery can take: direct observational discovery, finding empirical rules, and discovery of theories. A discussion of the psychology of scientific discovery includes an assessment of the role of induction. Computational discovery methods in mathematics are then described. This is followed by a survey of methods and associated applications in computational scientific discovery, covering massive systematic search within a defined space; rule-based reasoning systems; classification, machine vision, and related techniques; data mining; finding networks; evolutionary computation; and automation of scientific experiments. We conclude with a discussion of the future of computational scientific discovery, with consideration of the extent to which scientific discovery will continue to require human input.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat H.K. Versteeg, W. Malalasekera: An Introduction to Computational Fluid Dynamics: The Finite Volume Method (Pearson Education, Harlow 2007) H.K. Versteeg, W. Malalasekera: An Introduction to Computational Fluid Dynamics: The Finite Volume Method (Pearson Education, Harlow 2007)
2.
Zurück zum Zitat D.W. Heermann: Computer-Simulation Methods in Theoretical Physics (Springer, Berlin 1990)MATHCrossRef D.W. Heermann: Computer-Simulation Methods in Theoretical Physics (Springer, Berlin 1990)MATHCrossRef
3.
Zurück zum Zitat J. Holland, K. Holyoak, R. Nisbett, P. Thagard: Induction: Processes of Inference, Learning, and Discovery (MIT, Cambridge 1986) J. Holland, K. Holyoak, R. Nisbett, P. Thagard: Induction: Processes of Inference, Learning, and Discovery (MIT, Cambridge 1986)
4.
Zurück zum Zitat D.W. Stephens: Change, regularity, and value in the evolution of animal learning, Behav. Ecol. 2, 77–89 (1991)CrossRef D.W. Stephens: Change, regularity, and value in the evolution of animal learning, Behav. Ecol. 2, 77–89 (1991)CrossRef
5.
Zurück zum Zitat S.M. Reader, K.N. Laland: Social intelligence, innovation, and enhanced brain size in primates, Proc. Nat. Acad. Sci. 99, 4436–4441 (2002)CrossRef S.M. Reader, K.N. Laland: Social intelligence, innovation, and enhanced brain size in primates, Proc. Nat. Acad. Sci. 99, 4436–4441 (2002)CrossRef
6.
Zurück zum Zitat N.J. Emery, N.S. Clayton: The mentality of crows: Convergent evolution of intelligence in corvids and apes, Science 306, 1903–1907 (2004)CrossRef N.J. Emery, N.S. Clayton: The mentality of crows: Convergent evolution of intelligence in corvids and apes, Science 306, 1903–1907 (2004)CrossRef
7.
Zurück zum Zitat A.M. Auersperg, B. Szabo, A.M. von Bayern, A. Kacelnik: Spontaneous innovation in tool manufacture and use in a Goffin’s cockatoo, Curr. Biol. 22, R903–R904 (2012)CrossRef A.M. Auersperg, B. Szabo, A.M. von Bayern, A. Kacelnik: Spontaneous innovation in tool manufacture and use in a Goffin’s cockatoo, Curr. Biol. 22, R903–R904 (2012)CrossRef
8.
Zurück zum Zitat M.H. Christiansen, S. Kirby: Language evolution: Consensus and controversies, Trends Cogn. Sci. 7, 300–307 (2003)CrossRef M.H. Christiansen, S. Kirby: Language evolution: Consensus and controversies, Trends Cogn. Sci. 7, 300–307 (2003)CrossRef
9.
Zurück zum Zitat J. Diamond: Guns, Germs and Steel (Vintage, London 2005) J. Diamond: Guns, Germs and Steel (Vintage, London 2005)
12.
13.
Zurück zum Zitat P.M.S. Blackett: Memories of Rutherford. In: Rutherford at Manchester, ed. by J.B. Birks (Heywood, London 1962) pp. 102–113 P.M.S. Blackett: Memories of Rutherford. In: Rutherford at Manchester, ed. by J.B. Birks (Heywood, London 1962) pp. 102–113
14.
Zurück zum Zitat L.A. Geddes: Looking back how measuring electric current has improved through the ages, IEEE Potentials 15, 40–42 (1996)CrossRef L.A. Geddes: Looking back how measuring electric current has improved through the ages, IEEE Potentials 15, 40–42 (1996)CrossRef
15.
Zurück zum Zitat W.L. Bragg: The diffraction of short electromagnetic waves by a crystal, Proc. Camb. Philos. Soc. 17, 43–57 (1913)MATH W.L. Bragg: The diffraction of short electromagnetic waves by a crystal, Proc. Camb. Philos. Soc. 17, 43–57 (1913)MATH
16.
Zurück zum Zitat L. Pauling, R.B. Corey, H.R. Branson: The structure of proteins: Two hydrogen-bonded helical configurations of the polypeptide chain, Proc. Nat. Acad. Sci. 37, 205–211 (1951)CrossRef L. Pauling, R.B. Corey, H.R. Branson: The structure of proteins: Two hydrogen-bonded helical configurations of the polypeptide chain, Proc. Nat. Acad. Sci. 37, 205–211 (1951)CrossRef
17.
Zurück zum Zitat J.D. Watson, F.H. Crick: Molecular structure of nucleic acids, Nature 171, 737–738 (1953)CrossRef J.D. Watson, F.H. Crick: Molecular structure of nucleic acids, Nature 171, 737–738 (1953)CrossRef
18.
Zurück zum Zitat D.B. Kell, S.G. Oliver: Here is the evidence, now what is the hypothesis? The complementary roles of inductive and hypothesis driven science in the post genomic era, Bioessays 26, 99–105 (2004)CrossRef D.B. Kell, S.G. Oliver: Here is the evidence, now what is the hypothesis? The complementary roles of inductive and hypothesis driven science in the post genomic era, Bioessays 26, 99–105 (2004)CrossRef
19.
Zurück zum Zitat P. Langley: The computational support of scientific discovery, Int. J. Human-Comput. Stud. 53, 393–410 (2000)MATHCrossRef P. Langley: The computational support of scientific discovery, Int. J. Human-Comput. Stud. 53, 393–410 (2000)MATHCrossRef
20.
Zurück zum Zitat P. Langley, H.A. Simon, G. Bradshaw, H.A. Simon, J.M. Zytkow: Scientific Discovery: Computational Explorations of the Creative Processes (MIT, Cambridge 1987) P. Langley, H.A. Simon, G. Bradshaw, H.A. Simon, J.M. Zytkow: Scientific Discovery: Computational Explorations of the Creative Processes (MIT, Cambridge 1987)
21.
Zurück zum Zitat A. Machado, F.J. Silva: Toward a richer view of the scientific method: The role of conceptual analysis, Am. Psychol. 62, 671–681 (2007)CrossRef A. Machado, F.J. Silva: Toward a richer view of the scientific method: The role of conceptual analysis, Am. Psychol. 62, 671–681 (2007)CrossRef
22.
Zurück zum Zitat R. Greenler: Rainbows, Halos, and Glories (Cambridge Univ. Press, Cambridge 1980) R. Greenler: Rainbows, Halos, and Glories (Cambridge Univ. Press, Cambridge 1980)
23.
Zurück zum Zitat W.G. Rees, C.M. Roach, C.H.F. Glover: Inversion of atmospheric refraction data, JOSA A 8, 330–338 (1991)CrossRef W.G. Rees, C.M. Roach, C.H.F. Glover: Inversion of atmospheric refraction data, JOSA A 8, 330–338 (1991)CrossRef
24.
Zurück zum Zitat P.D. Sozou: Inversion of mirage data: An optimization approach, JOSA A 11, 125–134 (1994)CrossRef P.D. Sozou: Inversion of mirage data: An optimization approach, JOSA A 11, 125–134 (1994)CrossRef
25.
Zurück zum Zitat M. Bertero, T.A. Poggio, V. Torre: Ill-posed problems in early vision, Proc. IEEE 76, 869–889 (1988)CrossRef M. Bertero, T.A. Poggio, V. Torre: Ill-posed problems in early vision, Proc. IEEE 76, 869–889 (1988)CrossRef
26.
Zurück zum Zitat M.V. Afonso, J.M. Bioucas-Dias, M.A. Figueiredo: An augmented Lagrangian approach to the constrained optimization formulation of imaging inverse problems, IEEE Trans. Image Process. 20, 681–695 (2011)MathSciNetCrossRef M.V. Afonso, J.M. Bioucas-Dias, M.A. Figueiredo: An augmented Lagrangian approach to the constrained optimization formulation of imaging inverse problems, IEEE Trans. Image Process. 20, 681–695 (2011)MathSciNetCrossRef
27.
Zurück zum Zitat H.Y. Li, C.Y. Yang: A genetic algorithm for inverse radiation problems, Int. J. Heat Mass Transf. 40, 1545–1549 (1997)MATHCrossRef H.Y. Li, C.Y. Yang: A genetic algorithm for inverse radiation problems, Int. J. Heat Mass Transf. 40, 1545–1549 (1997)MATHCrossRef
28.
Zurück zum Zitat C.L. Karr, I. Yakushin, K. Nicolosi: Solving inverse initial-value, boundary-value problems via genetic algorithm, Eng. App. Artif. Intell. 13, 625–633 (2000)CrossRef C.L. Karr, I. Yakushin, K. Nicolosi: Solving inverse initial-value, boundary-value problems via genetic algorithm, Eng. App. Artif. Intell. 13, 625–633 (2000)CrossRef
29.
Zurück zum Zitat D.K. Karpouzos, F. Delay, K.L. Katsifarakis, G.D. Marsily: A multipopulation genetic algorithm to solve the inverse problem in hydrogeology, Water Resour. Res. 37, 2291–2302 (2001)CrossRef D.K. Karpouzos, F. Delay, K.L. Katsifarakis, G.D. Marsily: A multipopulation genetic algorithm to solve the inverse problem in hydrogeology, Water Resour. Res. 37, 2291–2302 (2001)CrossRef
30.
Zurück zum Zitat D. Gillies: Artificial Intelligence and Scientific Method (Oxford Univ. Press, Oxford 1996)MATH D. Gillies: Artificial Intelligence and Scientific Method (Oxford Univ. Press, Oxford 1996)MATH
31.
Zurück zum Zitat F. Bacon: Novum Organum (Open Court, Chicago 1994), ed. by P. Urbach, J. Gibson, originally published in 1620MATH F. Bacon: Novum Organum (Open Court, Chicago 1994), ed. by P. Urbach, J. Gibson, originally published in 1620MATH
32.
Zurück zum Zitat K.R. Popper: Conjectures and Refutations: The Growth of Scientific Knowledge (Routledge and Kegan Paul, London 1963) K.R. Popper: Conjectures and Refutations: The Growth of Scientific Knowledge (Routledge and Kegan Paul, London 1963)
33.
Zurück zum Zitat K.R. Popper: The Logic of Scientific Discovery (Unwin Hyman, London 1990), 14th impressionMATH K.R. Popper: The Logic of Scientific Discovery (Unwin Hyman, London 1990), 14th impressionMATH
34.
Zurück zum Zitat D. Campbell: Blind variation and selective retention in creative thought as in other knowledge processes, Psychol. Rev. 67, 380–400 (1960)CrossRef D. Campbell: Blind variation and selective retention in creative thought as in other knowledge processes, Psychol. Rev. 67, 380–400 (1960)CrossRef
35.
Zurück zum Zitat D. Simonton: Origins of Genius (Oxford Univ. Press, Oxford 1999) D. Simonton: Origins of Genius (Oxford Univ. Press, Oxford 1999)
36.
Zurück zum Zitat D. Klahr, K. Dunbar: Dual space search during scientific reasoning, Cogn. Sci. 12, 1–48 (1988)CrossRef D. Klahr, K. Dunbar: Dual space search during scientific reasoning, Cogn. Sci. 12, 1–48 (1988)CrossRef
37.
Zurück zum Zitat K. Dunbar, J. Fugelsang: Scientific thinking and reasoning. In: The Cambridge Handbook of Thinking and Reasoning, ed. by K.J. Holyoak, R.G. Morrison (Cambridge Univ. Press, Cambridge 2005) pp. 705–725 K. Dunbar, J. Fugelsang: Scientific thinking and reasoning. In: The Cambridge Handbook of Thinking and Reasoning, ed. by K.J. Holyoak, R.G. Morrison (Cambridge Univ. Press, Cambridge 2005) pp. 705–725
38.
Zurück zum Zitat Y. Qin, H.A. Simon: Laboratory replication of scientific discovery processes, Cogn. Sci. 14, 281–312 (1990)CrossRef Y. Qin, H.A. Simon: Laboratory replication of scientific discovery processes, Cogn. Sci. 14, 281–312 (1990)CrossRef
39.
Zurück zum Zitat P. Langley, G. Bradshaw, H.A. Simon: BACON 5: The discovery of conservation laws, Proc. 7th Int. Jt. Conf. Artif. Intell., Br. Columbia (AAAI, Palo Alto 1981) pp. 121–126 P. Langley, G. Bradshaw, H.A. Simon: BACON 5: The discovery of conservation laws, Proc. 7th Int. Jt. Conf. Artif. Intell., Br. Columbia (AAAI, Palo Alto 1981) pp. 121–126
40.
Zurück zum Zitat D. Kulkarni, H.A. Simon: The processes of scientific discovery: The strategy of experimentation, Cogn. Sci. 12, 139–175 (1988)CrossRef D. Kulkarni, H.A. Simon: The processes of scientific discovery: The strategy of experimentation, Cogn. Sci. 12, 139–175 (1988)CrossRef
41.
Zurück zum Zitat H.A. Krebs: The discovery of the ornithine cycle of urea synthesis, Biochem. Educ. 1, 19–23 (1973)CrossRef H.A. Krebs: The discovery of the ornithine cycle of urea synthesis, Biochem. Educ. 1, 19–23 (1973)CrossRef
43.
Zurück zum Zitat P. Thagard, K.J. Holyoak, G. Nelson, D. Gochfeld: Analog retrieval by constraint satisfaction, Artif. Intell. 46, 259–310 (1990)MathSciNetCrossRef P. Thagard, K.J. Holyoak, G. Nelson, D. Gochfeld: Analog retrieval by constraint satisfaction, Artif. Intell. 46, 259–310 (1990)MathSciNetCrossRef
44.
Zurück zum Zitat E.P. Wigner: The unreasonable effectiveness of mathematics in the natural sciences. Richard Courant lecture in mathematical sciences delivered at New York University, May 11, 1959, Commun. Pure Appl. Math. 13, 1–14 (1960)CrossRef E.P. Wigner: The unreasonable effectiveness of mathematics in the natural sciences. Richard Courant lecture in mathematical sciences delivered at New York University, May 11, 1959, Commun. Pure Appl. Math. 13, 1–14 (1960)CrossRef
45.
Zurück zum Zitat S. Colton: Computational discovery in pure mathematics. In: Computational Discovery of Scientific Knowledge, Lecture Notes in Computer Science, Vol. 4660, ed. by S. Džeroski, L. Todorovski (Springer, Berlin Heidelberg 2007) pp. 175–201CrossRef S. Colton: Computational discovery in pure mathematics. In: Computational Discovery of Scientific Knowledge, Lecture Notes in Computer Science, Vol. 4660, ed. by S. Džeroski, L. Todorovski (Springer, Berlin Heidelberg 2007) pp. 175–201CrossRef
46.
Zurück zum Zitat S. Colton, A. Bundy, T. Walsh: On the notion of interestingness in automated mathematical discovery, Int. J. Human-Comput. Stud. 53, 351–375 (2000)MATHCrossRef S. Colton, A. Bundy, T. Walsh: On the notion of interestingness in automated mathematical discovery, Int. J. Human-Comput. Stud. 53, 351–375 (2000)MATHCrossRef
47.
Zurück zum Zitat C.E. Larson: A survey of research in automated mathematical conjecture-making, DIMACS Ser. Discrete Math. Theor. Comput. Sci. 69, 297–318 (2005)MathSciNetMATHCrossRef C.E. Larson: A survey of research in automated mathematical conjecture-making, DIMACS Ser. Discrete Math. Theor. Comput. Sci. 69, 297–318 (2005)MathSciNetMATHCrossRef
48.
Zurück zum Zitat A. Newell, J.C. Shaw, H.A. Simon: Elements of a theory of human problem solving, Psychol. Rev. 65, 151–166 (1958)CrossRef A. Newell, J.C. Shaw, H.A. Simon: Elements of a theory of human problem solving, Psychol. Rev. 65, 151–166 (1958)CrossRef
49.
Zurück zum Zitat A.N. Whitehead, B. Russell: Principia Mathematica, Vol. 1 (Cambridge Univ. Press, Cambridge 1910)MATH A.N. Whitehead, B. Russell: Principia Mathematica, Vol. 1 (Cambridge Univ. Press, Cambridge 1910)MATH
50.
Zurück zum Zitat F. Gobet, P.C.R. Lane: Human problem solving: Beyond Newell et al.’s (1958) elements of a theory of human problem solving. In: Cognitive Psychology: Revisiting the Classic Studies, ed. by D. Groome, M.W. Eysenck (Sage, Thousand Oaks 2015) pp. 133–145 F. Gobet, P.C.R. Lane: Human problem solving: Beyond Newell et al.’s (1958) elements of a theory of human problem solving. In: Cognitive Psychology: Revisiting the Classic Studies, ed. by D. Groome, M.W. Eysenck (Sage, Thousand Oaks 2015) pp. 133–145
51.
Zurück zum Zitat H. Wang: Toward mechanical mathematics. In: Automation of Reasoning: Classical Papers on Computational Logic 1957–1966, ed. by J. Siekmann, G. Wrightson (Springer, Berlin 1983) pp. 244–264 H. Wang: Toward mechanical mathematics. In: Automation of Reasoning: Classical Papers on Computational Logic 1957–1966, ed. by J. Siekmann, G. Wrightson (Springer, Berlin 1983) pp. 244–264
52.
Zurück zum Zitat D.B. Lenat: AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (Dept. Computer Science, Stanford Univ., Stanford 1976) D.B. Lenat: AM: An Artificial Intelligence Approach to Discovery in Mathematics as Heuristic Search (Dept. Computer Science, Stanford Univ., Stanford 1976)
53.
Zurück zum Zitat R. Davis, D.B. Lenat: Knowledge-Based Systems in Artificial Intelligence (McGraw-Hill, New York 1982)MATH R. Davis, D.B. Lenat: Knowledge-Based Systems in Artificial Intelligence (McGraw-Hill, New York 1982)MATH
54.
Zurück zum Zitat G.D. Ritchie, F.K. Hanna: AM: A case study in AI methodology, Artif. Intell. 23, 249–268 (1984)CrossRef G.D. Ritchie, F.K. Hanna: AM: A case study in AI methodology, Artif. Intell. 23, 249–268 (1984)CrossRef
55.
Zurück zum Zitat D.B. Lenat, J.S. Brown: Why AM and EURISKO appear to work, Artif. Intell. 23, 269–294 (1984)CrossRef D.B. Lenat, J.S. Brown: Why AM and EURISKO appear to work, Artif. Intell. 23, 269–294 (1984)CrossRef
58.
Zurück zum Zitat R.K. Lindsay, B.G. Buchanan, E.A. Feigenbaum, J. Lederberg: DENDRAL: A case study of the first expert system for scientific hypothesis formation, Artif. Intell. 61, 209–261 (1993)CrossRef R.K. Lindsay, B.G. Buchanan, E.A. Feigenbaum, J. Lederberg: DENDRAL: A case study of the first expert system for scientific hypothesis formation, Artif. Intell. 61, 209–261 (1993)CrossRef
59.
Zurück zum Zitat R.E. Valdes-Perez: Theory-driven discovery of reaction pathways in the MECHEM system, Proc. 10th Natl. Conf. Artif. Intell., San Jose (AAAI, Palo Alto 1992) pp. 63–69 R.E. Valdes-Perez: Theory-driven discovery of reaction pathways in the MECHEM system, Proc. 10th Natl. Conf. Artif. Intell., San Jose (AAAI, Palo Alto 1992) pp. 63–69
60.
Zurück zum Zitat J.M. Zytkow, H.A. Simon: Normative systems of discovery and logic of search, Synthese 74, 65–90 (1988)CrossRef J.M. Zytkow, H.A. Simon: Normative systems of discovery and logic of search, Synthese 74, 65–90 (1988)CrossRef
61.
Zurück zum Zitat S. Muggleton, R.D. King, J.E. Sternberg: Protein secondary structure prediction using logic-based machine learning, Protein Eng. 5, 647–657 (1992)CrossRef S. Muggleton, R.D. King, J.E. Sternberg: Protein secondary structure prediction using logic-based machine learning, Protein Eng. 5, 647–657 (1992)CrossRef
62.
Zurück zum Zitat M.C. Storrie-Lombardi, O. Lahav, L. Sodre, L.J. Storrie-Lombardi: Morphological classification of galaxies by artificial neural networks, Mon. Not. R. Astron. Soc. 259, 8P–12P (1992)CrossRef M.C. Storrie-Lombardi, O. Lahav, L. Sodre, L.J. Storrie-Lombardi: Morphological classification of galaxies by artificial neural networks, Mon. Not. R. Astron. Soc. 259, 8P–12P (1992)CrossRef
63.
Zurück zum Zitat L. Shamir: Automatic morphological classification of galaxy images, Mon. Not. R. Astron. Soc. 399, 1367–1372 (2009)CrossRef L. Shamir: Automatic morphological classification of galaxy images, Mon. Not. R. Astron. Soc. 399, 1367–1372 (2009)CrossRef
64.
Zurück zum Zitat N. Tiffin, J.F. Kelso, A.R. Powell, H. Pan, V.B. Bajic, W.A. Hide: Integration of text-and data-mining using ontologies successfully selects disease gene candidates, Nucleic Acids Res. 33, 1544–1552 (2005)CrossRef N. Tiffin, J.F. Kelso, A.R. Powell, H. Pan, V.B. Bajic, W.A. Hide: Integration of text-and data-mining using ontologies successfully selects disease gene candidates, Nucleic Acids Res. 33, 1544–1552 (2005)CrossRef
65.
Zurück zum Zitat R.D. King, A. Srinivasan, L. Dehaspe: Warmr: A data mining tool for chemical data, J. Comput.-Aided Mol. Des. 15, 173–181 (2001)CrossRef R.D. King, A. Srinivasan, L. Dehaspe: Warmr: A data mining tool for chemical data, J. Comput.-Aided Mol. Des. 15, 173–181 (2001)CrossRef
66.
Zurück zum Zitat Z. Bar-Joseph, G.K. Gerber, T.I. Lee, N.J. Rinaldi, J.Y. Yoo, F. Robert, D.K. Gifford: Computational discovery of gene modules and regulatory networks, Nat. Biotechnol. 21, 1337–1342 (2003)CrossRef Z. Bar-Joseph, G.K. Gerber, T.I. Lee, N.J. Rinaldi, J.Y. Yoo, F. Robert, D.K. Gifford: Computational discovery of gene modules and regulatory networks, Nat. Biotechnol. 21, 1337–1342 (2003)CrossRef
67.
Zurück zum Zitat P. Spirtes, C. Glymour: An algorithm for fast recovery of sparse causal graphs, Soc. Sci. Comput. Rev. 9, 62–72 (1991)CrossRef P. Spirtes, C. Glymour: An algorithm for fast recovery of sparse causal graphs, Soc. Sci. Comput. Rev. 9, 62–72 (1991)CrossRef
68.
Zurück zum Zitat S. Guindon, O. Gascuel: A simple, fast, and accurate algorithm to estimate large phylogenies by maximum likelihood, Syst. Biol. 52, 696–704 (2003)CrossRef S. Guindon, O. Gascuel: A simple, fast, and accurate algorithm to estimate large phylogenies by maximum likelihood, Syst. Biol. 52, 696–704 (2003)CrossRef
69.
Zurück zum Zitat E. Frias-Martinez, F. Gobet: Automatic generation of cognitive theories using genetic programming, Minds Mach. 17, 287–309 (2007)CrossRef E. Frias-Martinez, F. Gobet: Automatic generation of cognitive theories using genetic programming, Minds Mach. 17, 287–309 (2007)CrossRef
70.
Zurück zum Zitat M. Schmidt, H. Lipson: Distilling free-form natural laws from experimental data, Science 324, 81–85 (2009)CrossRef M. Schmidt, H. Lipson: Distilling free-form natural laws from experimental data, Science 324, 81–85 (2009)CrossRef
71.
Zurück zum Zitat R.D. King, J. Rowland, S.G. Oliver, M. Young, W. Aubrey, E. Byrne, M.L. Kata, K. Karkham, P. Pir, L.N. Soldatova, A. Sparkes, K.E. Whelan, A. Care: The automation of science, Science 324, 85–89 (2009)CrossRef R.D. King, J. Rowland, S.G. Oliver, M. Young, W. Aubrey, E. Byrne, M.L. Kata, K. Karkham, P. Pir, L.N. Soldatova, A. Sparkes, K.E. Whelan, A. Care: The automation of science, Science 324, 85–89 (2009)CrossRef
72.
Zurück zum Zitat B.G. Buchanan, E.A. Feigenbaum: DENDRAL and Meta-DENDRAL: Their applications dimension, Artif. Intell. 11, 5–24 (1978)CrossRef B.G. Buchanan, E.A. Feigenbaum: DENDRAL and Meta-DENDRAL: Their applications dimension, Artif. Intell. 11, 5–24 (1978)CrossRef
73.
Zurück zum Zitat N. Orlov, L. Shamir, T. Macura, J. Johnston, D.M. Eckley, I.G. Goldberg: WND-CHARM: Multi-purpose image classification using compound image transforms, Pattern Recognit. Lett. 29, 1684–1693 (2008)CrossRef N. Orlov, L. Shamir, T. Macura, J. Johnston, D.M. Eckley, I.G. Goldberg: WND-CHARM: Multi-purpose image classification using compound image transforms, Pattern Recognit. Lett. 29, 1684–1693 (2008)CrossRef
74.
Zurück zum Zitat U. Fayyad, G. Piatetsky-Shapiro, P. Smyth: From data mining to knowledge discovery in databases, AI Magazine 17, 37 (1996) U. Fayyad, G. Piatetsky-Shapiro, P. Smyth: From data mining to knowledge discovery in databases, AI Magazine 17, 37 (1996)
75.
Zurück zum Zitat X. Wu, V. Kumar, J.R. Quinlan, J. Ghosh, Q. Yang, H. Motoda, D. Steinberg: Top 10 algorithms in data mining, Knowl. Inf. Sys. 14, 1–37 (2008)CrossRef X. Wu, V. Kumar, J.R. Quinlan, J. Ghosh, Q. Yang, H. Motoda, D. Steinberg: Top 10 algorithms in data mining, Knowl. Inf. Sys. 14, 1–37 (2008)CrossRef
76.
Zurück zum Zitat L. Hirschman, J.C. Park, J. Tsujii, L. Wong, C.H. Wu: Accomplishments and challenges in literature data mining for biology, Bioinformatics 18, 1553–1561 (2002)CrossRef L. Hirschman, J.C. Park, J. Tsujii, L. Wong, C.H. Wu: Accomplishments and challenges in literature data mining for biology, Bioinformatics 18, 1553–1561 (2002)CrossRef
77.
Zurück zum Zitat C. Perez-Iratxeta, P. Bork, M.A. Andrade: Association of genes to genetically inherited diseases using data mining, Nat. Genet. 31, 316–319 (2002) C. Perez-Iratxeta, P. Bork, M.A. Andrade: Association of genes to genetically inherited diseases using data mining, Nat. Genet. 31, 316–319 (2002)
78.
Zurück zum Zitat N.M. Ball, R.J. Brunner: Data mining and machine learning in astronomy, Int. J. Mod. Phys. D 19, 1049–1106 (2010)MATHCrossRef N.M. Ball, R.J. Brunner: Data mining and machine learning in astronomy, Int. J. Mod. Phys. D 19, 1049–1106 (2010)MATHCrossRef
79.
Zurück zum Zitat H. Kitano: Systems biology: A brief overview, Science 295, 1662–1664 (2002)CrossRef H. Kitano: Systems biology: A brief overview, Science 295, 1662–1664 (2002)CrossRef
80.
Zurück zum Zitat M. Hecker, S. Lambeck, S. Toepfer, E. Van Someren, R. Guthke: Gene regulatory network inference: Data integration in dynamic models–a review, Biosys. 96, 86–103 (2009)CrossRef M. Hecker, S. Lambeck, S. Toepfer, E. Van Someren, R. Guthke: Gene regulatory network inference: Data integration in dynamic models–a review, Biosys. 96, 86–103 (2009)CrossRef
81.
Zurück zum Zitat V. Spirin, L.A. Mirny: Protein complexes and functional modules in molecular networks, Proc. Natl. Acad. Sci. 100, 12123–12128 (2003)CrossRef V. Spirin, L.A. Mirny: Protein complexes and functional modules in molecular networks, Proc. Natl. Acad. Sci. 100, 12123–12128 (2003)CrossRef
82.
Zurück zum Zitat R.E. Ulanowicz: Quantitative methods for ecological network analysis, Comput. Biol. Chem. 28, 321–339 (2004)MATHCrossRef R.E. Ulanowicz: Quantitative methods for ecological network analysis, Comput. Biol. Chem. 28, 321–339 (2004)MATHCrossRef
83.
Zurück zum Zitat P. Kavanagh, N. Newlands, V. Christensen, D. Pauly: Automated parameter optimization for ecopath ecosystem models, Ecolo. Model. 172, 141–149 (2004)CrossRef P. Kavanagh, N. Newlands, V. Christensen, D. Pauly: Automated parameter optimization for ecopath ecosystem models, Ecolo. Model. 172, 141–149 (2004)CrossRef
84.
Zurück zum Zitat S.P. Borgatti: Identifying sets of key players in a social network, Comput. Math. Organ. Theory 12, 21–34 (2006)MATHCrossRef S.P. Borgatti: Identifying sets of key players in a social network, Comput. Math. Organ. Theory 12, 21–34 (2006)MATHCrossRef
85.
Zurück zum Zitat Z. Ghahramani: An introduction to hidden Markov models and Bayesian networks, Int. J. Pattern Recog. Artif. Intell. 15, 9–42 (2001)CrossRef Z. Ghahramani: An introduction to hidden Markov models and Bayesian networks, Int. J. Pattern Recog. Artif. Intell. 15, 9–42 (2001)CrossRef
86.
Zurück zum Zitat D. Haughton, A. Kamis, P.A. Scholten: A review of three directed acyclic graphs software packages: MIM, tetrad, and WinMine, Am. Stat. 60, 272–286 (2006)CrossRef D. Haughton, A. Kamis, P.A. Scholten: A review of three directed acyclic graphs software packages: MIM, tetrad, and WinMine, Am. Stat. 60, 272–286 (2006)CrossRef
87.
88.
Zurück zum Zitat C. Glymour: Learning, prediction and causal Bayes nets, Trends Cogn. Sci. 7, 43–48 (2003)CrossRef C. Glymour: Learning, prediction and causal Bayes nets, Trends Cogn. Sci. 7, 43–48 (2003)CrossRef
90.
Zurück zum Zitat J.P. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback: Bayesian inference of phylogeny and its impact on evolutionary biology, Science 294, 2310–2314 (2001)CrossRef J.P. Huelsenbeck, F. Ronquist, R. Nielsen, J.P. Bollback: Bayesian inference of phylogeny and its impact on evolutionary biology, Science 294, 2310–2314 (2001)CrossRef
91.
Zurück zum Zitat Z. Yang: PAML 4: Phylogenetic analysis by maximum likelihood, Mol. Biol. Evol. 24, 1586–1591 (2007)CrossRef Z. Yang: PAML 4: Phylogenetic analysis by maximum likelihood, Mol. Biol. Evol. 24, 1586–1591 (2007)CrossRef
92.
Zurück zum Zitat J. Koza: Genetic Programming: On the Programming of Computers by Means of Natural Selection, Vol. 1 (MIT, Cambridge Massachussetts 1992)MATH J. Koza: Genetic Programming: On the Programming of Computers by Means of Natural Selection, Vol. 1 (MIT, Cambridge Massachussetts 1992)MATH
94.
Zurück zum Zitat P.C.R. Lane, P.D. Sozou, M. Addis, F. Gobet: Evolving process-based models from psychological data using genetic programming. In: AISB50: Selected Papers, ed. by M. Bishop, K. Devlin, Y. Erden, R. Kibble, S. McGregor, M. Majid al-Rifaie, A. Martin, M. Figueroa, S. Rainey (AISB, London 2015) pp. 144–149 P.C.R. Lane, P.D. Sozou, M. Addis, F. Gobet: Evolving process-based models from psychological data using genetic programming. In: AISB50: Selected Papers, ed. by M. Bishop, K. Devlin, Y. Erden, R. Kibble, S. McGregor, M. Majid al-Rifaie, A. Martin, M. Figueroa, S. Rainey (AISB, London 2015) pp. 144–149
95.
Zurück zum Zitat L. Chao, J. Haxby, A. Martin: Attribute-based neural substrates in temporal cortex for perceiving and knowing about objects, Nat. Neurosci. 2, 913–919 (1999)CrossRef L. Chao, J. Haxby, A. Martin: Attribute-based neural substrates in temporal cortex for perceiving and knowing about objects, Nat. Neurosci. 2, 913–919 (1999)CrossRef
96.
Zurück zum Zitat A. Sparkes, W. Aubrey, E. Byrne, A. Clare, M.N. Khan, M. Liakata, R.D. King: Towards robot scientists for autonomous scientific discovery, Autom. Exp. 2, 1 (2010)CrossRef A. Sparkes, W. Aubrey, E. Byrne, A. Clare, M.N. Khan, M. Liakata, R.D. King: Towards robot scientists for autonomous scientific discovery, Autom. Exp. 2, 1 (2010)CrossRef
97.
Zurück zum Zitat J.G. Bellingham, K. Rajan: Robotics in remote and hostile environments, Science 318, 1098–1102 (2007)CrossRef J.G. Bellingham, K. Rajan: Robotics in remote and hostile environments, Science 318, 1098–1102 (2007)CrossRef
98.
Zurück zum Zitat I. Vasilescu, K. Kotay, D. Rus, M. Dunbabin, P. Corke: Data collection, storage, and retrieval with an underwater sensor network, Proc. 3rd Int. Conf. Embed. Networked Sens. Syst. (2005) pp. 154–165CrossRef I. Vasilescu, K. Kotay, D. Rus, M. Dunbabin, P. Corke: Data collection, storage, and retrieval with an underwater sensor network, Proc. 3rd Int. Conf. Embed. Networked Sens. Syst. (2005) pp. 154–165CrossRef
99.
Zurück zum Zitat J. Schwendner, F. Kirchner: Space Robotics: An overview of challenges, applications and technologies, KI-Künstliche Intell. 28, 71–76 (2014)CrossRef J. Schwendner, F. Kirchner: Space Robotics: An overview of challenges, applications and technologies, KI-Künstliche Intell. 28, 71–76 (2014)CrossRef
100.
Zurück zum Zitat P. Giza: Automated discovery systems and scientific realism, Minds Mach. 12, 105–117 (2002)MATHCrossRef P. Giza: Automated discovery systems and scientific realism, Minds Mach. 12, 105–117 (2002)MATHCrossRef
101.
Zurück zum Zitat R. Penrose: The Emperor’s New Mind: Concerning Computers, Minds and the Laws of Physics (Oxford Univ. Press, Oxford 1989)MATH R. Penrose: The Emperor’s New Mind: Concerning Computers, Minds and the Laws of Physics (Oxford Univ. Press, Oxford 1989)MATH
102.
Zurück zum Zitat D.C. Dennett: Betting your life on an algorithm, Behav. Brain Sci. 13, 660–661 (1990)CrossRef D.C. Dennett: Betting your life on an algorithm, Behav. Brain Sci. 13, 660–661 (1990)CrossRef
103.
Zurück zum Zitat G. Gigerenzer: Strong AI and the problem of second order algorithms, Behav. Brain Sci. 13, 663–664 (1990)CrossRef G. Gigerenzer: Strong AI and the problem of second order algorithms, Behav. Brain Sci. 13, 663–664 (1990)CrossRef
104.
Zurück zum Zitat M. Addis, P.D. Sozou, P.C. Lane, F. Gobet: Computational scientific discovery and cognitive science theories, Proc. IACAP, ed. by V. Müller (Springer, Heidelberg 2016) M. Addis, P.D. Sozou, P.C. Lane, F. Gobet: Computational scientific discovery and cognitive science theories, Proc. IACAP, ed. by V. Müller (Springer, Heidelberg 2016)
105.
Zurück zum Zitat C. Glymour: The automation of discovery, Daedalus 133, 69–77 (2004)CrossRef C. Glymour: The automation of discovery, Daedalus 133, 69–77 (2004)CrossRef
Metadaten
Titel
Computational Scientific Discovery
verfasst von
Peter D. Sozou
Peter C.R. Lane
Mark Addis
Fernand Gobet
Copyright-Jahr
2017
Verlag
Springer International Publishing
DOI
https://doi.org/10.1007/978-3-319-30526-4_33