Corpus ID: 234742656

Automated Biodesign Engineering by Abductive Meta-Interpretive Learning

  title={Automated Biodesign Engineering by Abductive Meta-Interpretive Learning},
  author={Wang-Zhou Dai and Liam Hallett and Stephen Muggleton and Geoff S. Baldwin},
The application of Artificial Intelligence (AI) to synthetic biology will provide the foundation for the creation of a high throughput automated platform for genetic design, in which a learning machine is used to iteratively optimise the system through a design-build-test-learn (DBTL) cycle. However, mainstream machine learning techniques represented by deep learning lacks the capability to represent relational knowledge and requires prodigious amounts of annotated training data. These… Expand

Figures from this paper


Abductive Knowledge Induction From Raw Data
Abductive Meta-Interpretive Learning is presented, which unites abduction and induction to learn perceptual neural network and first-order logic theories simultaneously from raw data and is the first system that can jointly learn neural networks and recursive first- order logic theories with predicate invention. Expand
Functional genomic hypothesis generation and experimentation by a robot scientist
A physically implemented robotic system that applies techniques from artificial intelligence to carry out cycles of scientific experimentation and shows that an intelligent experiment selection strategy is competitive with human performance and significantly outperforms, with a cost decrease of 3-fold and 100-fold, both cheapest and random-experiment selection. Expand
AI Feynman: A physics-inspired method for symbolic regression
This work develops a recursive multidimensional symbolic regression algorithm that combines neural network fitting with a suite of physics-inspired techniques and improves the state-of-the-art success rate. Expand
Discovering dynamics: From inductive logic programming to machine discovery
This paper considers the problem of discovering laws that govern the behavior of dynamical systems, i.e., systems that change their state over time, and presents two systems, QMN and LAGRANGE, for discovery of qualitative and quantitative laws from quantitative (numerical) descriptions of Dynamical system behavior. Expand
DNA-BOT: A low-cost, automated DNA assembly platform for synthetic biology
Multi-part DNA assembly is the physical starting point for many projects in Synthetic and Molecular Biology. The ability to explore a genetic design space by building extensive libraries of DNAExpand
Distilling Free-Form Natural Laws from Experimental Data
This work proposes a principle for the identification of nontriviality, and demonstrated this approach by automatically searching motion-tracking data captured from various physical systems, ranging from simple harmonic oscillators to chaotic double-pendula, and discovered Hamiltonians, Lagrangians, and other laws of geometric and momentum conservation. Expand
Mechanistic links between cellular trade-offs, gene expression, and growth
The model couples gene expression with growth rate and growth rate with a growing population of cells and recovers Monod’s law for the growth of microbes and two other empirical relationships connecting growth rate to the mass fraction of ribosomes. Expand
Comment on the article "Distilling free-form natural laws from experimental data"
This work demystifies how they are able to find Hamiltonians and special classes of Lagrangians from data, and implicitly incorporates Hamilton's equations of motions and Newton's second law. Expand
Foundations for engineering biology
  • D. Endy
  • Biology, Environmental Science
  • Nature
  • 2005
Vibrant, open research communities and strategic leadership are necessary to ensure that the development and application of biological technologies remains overwhelmingly constructive. Expand