• Aucun résultat trouvé

Automating Science and Finding Patterns in the Data

N/A
N/A
Protected

Academic year: 2022

Partager "Automating Science and Finding Patterns in the Data"

Copied!
1
0
0

Texte intégral

(1)

Automating Science and Finding Patterns in the Data

Ross D. King

Department of Computer Science, University of Wales, Aberystwyth, SY23 3DB, UK rdk@aber.ac.uk

Abstract. The basis of science is the hypothetico-deductive method and the recording of experiments in sufficient detail to enable repro- ducibility. We report the development of the Robot Scientist ”Adam”

which advances the automation of both. Adam has autonomously gen- erated functional genomics hypotheses about the yeast Saccharomyces cerevisiae, and experimentally tested these hypotheses using laboratory automation. We have confirmed Adam’s conclusions through manual ex- periments. To describe Adam’s research we have developed an ontology and logical language. The resulting formalization involves over 10,000 dif- ferent research units in a nested tree-like structure, ten levels deep, that relates the 6.6 million biomass measurements to their logical descrip- tion. This formalization describes how a machine discovered new scien- tific knowledge. Describing scientific investigations in this way opens up new opportunities to apply data-mining to discover new knowledge. To test this idea we have applied relational data-mining, guided by ontology, to evaluate the repeatability of Adam’s investigations.

Références

Documents relatifs

It has also been shown, and I shall not dwell upon it, that, if the plots from the late 8th century were not materialised by walls, all the houses from the late 8th

It was found that superposition terms involving complex Systems (like, for example, a small solid object) rapidly decohere in the position basis, making subséquent détection of

Our attempts of mapping accidentai features of physical reality on a conceptual model customarily yield two issues : an ensemble of local laws represented differential équations

At the community level, the error induced by the replacement of missing values with single imputation methods based on ecological hypothesis or with multiple imputation by

Keywords: Linked Science Core Vocabulary (LSC), Scientific Hypoth- esis, Semantic Engineering, Hypothesis Linkage, Computational Science..

To analyze telomerase repeat addition processivity in vivo, and to determine whether telomere length affects processivity, we coexpressed a mutant tlc1 that specifies altered

Benghezal, Deletion of GPI7, a yeast gene required for addition of a side chain to the glycosylphosphatidylinositol (GPI) core structure, affects GPI protein transport, remodeling,

“MCD4 encodes a conserved endoplasmic reticulum membrane protein essential for glycosylphosphatidylinositol anchor synthesis in yeast.” Mol Biol Cell 10(3): 627-48..