Use this URL to cite or link to this record in EThOS:
Title: Automating the development of Metabolic Network Models using Abductive Logic Programming
Author: Rozanski, Robert
ISNI:       0000 0004 6496 4802
Awarding Body: University of Manchester
Current Institution: University of Manchester
Date of Award: 2017
Availability of Full Text:
Access from EThOS:
Access from Institution:
The complexity of biological systems constitute a significant problem for the development of biological models. This inspired the creation of a few Computational Scientific Discovery systems that attempt to address this problem in the context of metabolomics through the use of computers and automation. These systems have important limitations, however, like limited revision and experiment design abilities and the inability to revise refuted models. The goal of this project was to address some of these limitations. The system developed for this project, "Huginn", was based on the use of Abductive Logic Programming to automate crucial development tasks, like experiment design, testing consistency of models with experimental results and revision of refuted models. The main questions of this project were (1) whether the proposed system can successfully develop Metabolic Network Models and (2) whether it can do it better than its predecessors. To answer these questions we tested Huginn in a simulated environment. Its task was to relearn the structures of disrupted fragments of a state-of-the-art model of yeast metabolism. The results of the simulations show that Huginn can relearn the structure of metabolic models, and that it can do it better than previous systems thanks to the specific features introduced in it. Furthermore, we show how the design of extended crucial experiments can be automated using Answer Set Programming for the first time.
Supervisor: King, Ross Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Automation of Science ; Answer Set Programming ; Abductive Logic Programming ; Computational Scientific Discovery ; Experiment design ; Huginn ; Model revision