Search: onr:"swepub:oai:research.chalmers.se:f03d6123-e788-45ba-9b4e-dab90df6f69e" >
Frameworks for Auto...
Abstract
Subject headings
Close
- Systems biology is an integrationist approach to biological science, meaning we treat organisms as complex systems whose behaviour is dictated by the interaction of their constituent parts. Because eukaryotic organisms are extremely complex systems, research progress in systems biology can be slow. Recent advances in robotics, and more importantly in artificial intelligence (AI), offer great opportunity for automating scientific discovery in this field. Using the model organism Saccharomyces cerevisiae , baker’s yeast, this thesis explores: the philosophical and practical motivations for the use of automation in biological research; the structure of knowledge models, experi- mental data, and hypotheses in systems biology; and computational models of metabolism, a core component of systems biology. The first main contribution of this thesis is a set of ontologies and accompanying database software for enabling an autonomous discovery platform. The second main contribution is a first-order logic framework for modelling cellular physiology, which we call LGEM⁺. Abduction of hypotheses for improvement of knowledge models is enabled by LGEM⁺, which couples a set of predicates and clauses expressing biochemical reaction processes with an efficient automated theorem prover (ATP), iProver. Results from these studies show automated improvement of knowledge models in systems biology can be achieved using general purpose tools, in this case ATPs, by using a first-order logic formalism faithful to domain ontologies. More work is needed to integrate these techniques with laboratory robotics and inductive reasoning agents, building on the work presented in this thesis, to achieve the goal of autonomous discovery in systems biology.
Subject headings
- NATURVETENSKAP -- Biologi -- Biokemi och molekylärbiologi (hsv//swe)
- NATURAL SCIENCES -- Biological Sciences -- Biochemistry and Molecular Biology (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Bioinformatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Bioinformatics (hsv//eng)
- NATURVETENSKAP -- Biologi -- Bioinformatik och systembiologi (hsv//swe)
- NATURAL SCIENCES -- Biological Sciences -- Bioinformatics and Systems Biology (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Machine learning
- first-order logic
- knowledge modelling
- ontologies
- abduction
- metabolic modelling
- systems biology
- automated theorem provers
Publication and Content Type
- lic (subject category)
- vet (subject category)
Find in a library
To the university's database