• Aucun résultat trouvé

Opportunities for Automated Workflow and Planning with Robot Scientists

N/A
N/A
Protected

Academic year: 2022

Partager "Opportunities for Automated Workflow and Planning with Robot Scientists"

Copied!
3
0
0

Texte intégral

(1)

Opportunities for Automated Workflow and Planning with Robot Scientists

Ross D. King

School of Computer Science, University of Manchester Manchester, M13 9PL, UK

email: ross.king@manchester.ac.uk

A natural extension of the trend of increased involvement in science is the concept of a Robot Scientist [King et al. (2004),King et al. (2009)]. A Robot Scientist automat- ically: originates hypotheses to explain observations, devises experiments to test these hypotheses, physically runs the experiments using laboratory robotics, interprets the results to change the probability of hypotheses, and then repeats the cycle (Figure 1).

Robot Scientists can autonomously execute high-throughput hypothesis led research.

In addition to automating experimentation Robot Scientists are well suited to record- ing scientific knowledge: as the experiments are conceived and executed automatically by computer, it is possible to completely capture and digitally curate all aspects of the scientific process [King et al. (2009)]).

The first Robot Scientists are Adam and Eve (Figure 2). The advances that distin- guish Adam and Eve from other complex laboratory systems (such as high-throughput drug-screening pipelines, and X-ray crystallography crystal-screening systems) are their AI software, their many complex internal cycles, and their ability to execute individu- ally planned cycles of experiments in high- throughput. Adam was designed to plan and execute microbiological experiments. Adam was fully automated and there is no essen- tial requirement for a technician, except to periodically add laboratory consumables and remove waste. Adam was the first machine demonstrated to have autonomously discov- ered novel scientific knowledge [King et al. (2009)]. Eve is designed to automate drug discovery.

There are many opportunities to improve Adam and Eve using automated workflows and planning. Below I describe some of these opportunities in Adam. The target of

Fig. 1.Robot Scientist workflow, blue.

(2)

Fig. 2.Picture of Eve.

Adams investigation were locally orphan enzymes. These enzymes catalyse biochemi- cal reactions known to be in yeast, but for which the coding genes are unknown. Adam used bioinformatic methods to abduce genes that could encode these orphan enzymes - hypotheses. However, there are many orphan enzymes, and we manually (and greedily) selected the enzymes for Eve to investigate that we estimated to be most experimen- tally tractable based on availability of metabolites. This strategy was not necessarily the best. It would be better automate and integrate such problem selection tasks using planning.

In developing Adam a large amount of effort was put into developing the software to control the laboratory automation (robotics). But currently Adam dont use any work- flows, with only some planning to fit investigations onto plates, and there remain many opportunities to improve Eve using workflows and planning technology. A key practical difficulty in applying workflows and planning is the lack of a good standard operating systems for laboratory automation.

Another area where there are many opportunities to improve Adam using automated workflows and planning is in experiment interpretation. The function of most genes in S. cerevisiae that when deleted results in qualitative effects (such as no growth) have al- ready been discovered. The remaining genes result only in quantitatively effects when deleted, e.g. they may have slower growth (bradytrophs), faster growth, higher/lower biomass yield, etc. This required Eve to measure small quantitative difference, which in turn required application of statistical experiment design and use of machine learn- ing methods to determine which results were repeatable. To implement these methods Adam used ad hoc scripts. Workflows and planning technology would have been better:

more efficient and enabling better annotation.

(3)

References

[King et al. (2004)] King, R.D., Whelan, K.E., Jones, F.M., Reiser, P.G.K., Bryant, C.H., Mug- gleton, S.H., Kell, D.B., and Oliver, S.G (2004) Functional genomic hypothesis generation and experimentation by a robot scientist. Nature, 427, 247-252.

[King et al. (2009)] King, R.D., Rowland, J., Oliver, S.G., Young, M., Aubrey, W., Byrne, E., Liakata, M., Markham, M., Pir, P., Soldatova, L.N., Sparkes, A., Whelan, K.E., Clare, C.

(2009) The Automation of Science. Science. 324, 85-89.

Références

Documents relatifs

The thesis has two parts; in the first part, we present two new methods for the capture and rendering real objects using image-based techniques, and in the second part, we present

temporal constraints and preferences in terms of Preferential Halpern-Shoham logic) up to chapter 4 (describing a general method of the plan controller construction as an

Effect of Cooling Rate and Neodymium Addition on Beta Intermetallic Phase of Al–Fe–Si Ternary System.. Deni

Sous l’angle de la preuve, le récent arrêt montre que l’appréciation du médecin traitant peut 

This list of specifications is assumed to translate into a finite set of (possibly nonlinear) inequalities to be satisfied by c and p. This makes it possible

Problems Captive-Queen and Captive-Queen-with-few-Moves can be solved in polynomial time, if the weight sequence is super-increasing.. 4.2 The case with divisible

In Barceloneta, one of the beachfront quarters of the city of Barcelona, the rapid expansion of illegal short-term rental apartments for tourists and noise problems

These two dimensions of interoperability, namely horizontal (communication protocol and data flow between services) and vertical matching (correspondence between an abstract user