The Automation of Science Export

@article{citeulike:4265782, abstract = {The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. 10.1126/science.1165620}, author = {King, Ross D. and Rowland, Jem and Oliver, Stephen G. and Young, Michael and Aubrey, Wayne and Byrne, Emma and Liakata, Maria and Markham, Magdalena and Pir, Pinar and Soldatova, Larisa N. and Sparkes, Andrew and Whelan, Kenneth E. and Clare, Amanda}, citeulike-article-id = {4265782}, citeulike-linkout-0 = {http://dx.doi.org/10.1126/science.1165620}, citeulike-linkout-1 = {http://www.sciencemag.org/content/324/5923/85.abstract}, citeulike-linkout-2 = {http://www.sciencemag.org/content/324/5923/85.full.pdf}, citeulike-linkout-3 = {http://www.sciencemag.org/cgi/content/abstract/324/5923/85}, citeulike-linkout-4 = {http://view.ncbi.nlm.nih.gov/pubmed/19342587}, citeulike-linkout-5 = {http://www.hubmed.org/display.cgi?uids=19342587}, day = {3}, doi = {10.1126/science.1165620}, issn = {1095-9203}, journal = {Science}, keywords = {abstract-machines, all-possible-sciences, automatic, automating, brain-interfaces, competitiveness, computational-epistemology, computational-intelligence, computational-neuroscience, computational-science, computer-science, constructivization, extremal-science, formal-epistemology, formal-science, futures, grids, hierarchy-of-abstract-machines, hierarchy-of-machines, hyperefficiency, infrastructures, intelligent-problem-solving, logical-frameworks, omega-innovating, philosophy-of-science, quantum-computational-intelligence, quantum-computing, research-frameworks, robot-scientists, scientific-frameworks, strategies, synthetic-science, technological-supremacy}, month = {April}, number = {5923}, pages = {85--89}, posted-at = {2009-05-05 22:28:17}, priority = {2}, title = {The Automation of Science}, url = {http://dx.doi.org/10.1126/science.1165620}, volume = {324}, year = {2009} }

TY - JOUR ID - citeulike:4265782 L3 - citeulike-article-id:4265782 N2 - The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable reproducibility. We report the development of Robot Scientist "Adam," which advances the automation of both. Adam has autonomously generated functional genomics hypotheses about the yeast Saccharomyces cerevisiae and experimentally tested these hypotheses by using laboratory automation. We have confirmed Adam's conclusions through manual experiments. To describe Adam's research, we have developed an ontology and logical language. The resulting formalization involves over 10,000 different research units in a nested treelike structure, 10 levels deep, that relates the 6.6 million biomass measurements to their logical description. This formalization describes how a machine contributed to scientific knowledge. 10.1126/science.1165620 IS - 5923 JF - Science SN - 1095-9203 EP - 89 TI - The Automation of Science VL - 324 SP - 85 KW - abstract-machines KW - all-possible-sciences KW - automatic KW - automating KW - brain-interfaces KW - competitiveness KW - computational-epistemology KW - computational-intelligence KW - computational-neuroscience KW - computational-science KW - computer-science KW - constructivization KW - extremal-science KW - formal-epistemology KW - formal-science KW - futures KW - grids KW - hierarchy-of-abstract-machines KW - hierarchy-of-machines KW - hyperefficiency KW - infrastructures KW - intelligent-problem-solving KW - logical-frameworks KW - omega-innovating KW - philosophy-of-science KW - quantum-computational-intelligence KW - quantum-computing KW - research-frameworks KW - robot-scientists KW - scientific-frameworks KW - strategies KW - synthetic-science KW - technological-supremacy AU - King, Ross AU - Rowland, Jem AU - Oliver, Stephen AU - Young, Michael AU - Aubrey, Wayne AU - Byrne, Emma AU - Liakata, Maria AU - Markham, Magdalena AU - Pir, Pinar AU - Soldatova, Larisa AU - Sparkes, Andrew AU - Whelan, Kenneth AU - Clare, Amanda PY - 2009/04/03/ UR - http://dx.doi.org/10.1126/science.1165620 ER -