Abstract:BackgroundPrior knowledge networks (PKNs) provide a framework for the development of computational biological models, including Boolean models of regulatory networks which are the focus of this work. PKNs are created by a painstaking process of literature curation, and generally describe all relevant regulatory interactions identified using a variety of experimental conditions and systems, such as specific cell types or tissues. Certain of these regulatory interactions may not occur in all biological contexts of interest, and their presence may dramatically change the dynamical behaviour of the resulting computational model, hindering the elucidation of the underlying mechanisms and reducing the usefulness of model predictions. Methods are therefore required to generate optimized contextual network models from generic PKNs.ResultsWe developed a new approach to generate and optimize Boolean networks, based on a given PKN. Using a genetic algorithm, a model network is built as a sub-network of the PKN and trained against experimental data to reproduce the experimentally observed behaviour in terms of attractors and the transitions that occur between them under specific perturbations. The resulting model network is therefore contextualized to the experimental conditions and constitutes a dynamical Boolean model closer to the observed biological process used to train the model than the original PKN. Such a model can then be interrogated to simulate response under perturbation, to detect stable states and their properties, to get insights into the underlying mechanisms and to generate new testable hypotheses.ConclusionsGeneric PKNs attempt to synthesize knowledge of all interactions occurring in a biological process of interest, irrespective of the specific biological context. This limits their usefulness as a basis for the development of context-specific, predictive dynamical Boolean models. The optimization method presented in this article produces specific, contextualized models from generic PKNs. These contextualized models have improved utility for hypothesis generation and experimental design. The general applicability of this methodological approach makes it suitable for a variety of biological systems and of general interest for biological and medical research. Our method was implemented in the software optimusqual, available online at http://www.vital-it.ch/software/optimusqual/.

Combining Zhegalkin Polynomials and SAT Solving for Context-specific Boolean Modeling of Biological Systems

Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge

Basins of Attraction, Commitment Sets and Phenotypes of Boolean Networks

Reasoning over Biological Networks Using Maximum Satisfiability

Inference of ecological networks and possibilistic dynamics based on Boolean networks from observations and prior knowledge

Boolean regulatory network reconstruction using literature based knowledge with a genetic algorithm optimization method

Boolean modeling: a logic‐based dynamic approach for understanding signaling and regulatory networks and for making useful predictions

Inferring Catalysis in Biological Systems

Unsupervised logic-based mechanism inference for network-driven biological processes

Identifying Latent Dynamic Components in Biological Systems

Identification of control targets in Boolean molecular network models via computational algebra

Biologically meaningful regulatory logic enhances the convergence rate in Boolean networks and bushiness of their state transition graph

BlenX-based compositional modeling of complex reaction mechanisms

Mapping Complex Networks: Exploring Boolean Modeling of Signal Transduction Pathways

Boolean modeling of biological regulatory networks: A methodology tutorial

On Finding and Using Identifiable Parameter Combinations in Nonlinear Dynamic Systems Biology Models and COMBOS: A Novel Web Implementation

Synthesising Executable Gene Regulatory Networks from Single-cell Gene Expression Data

CANTATA-prediction of missing links in Boolean networks using genetic programming

Statistical Model Checking based Analysis of Biological Networks

Data-driven inference of Boolean networks from transcriptomes to predict cellular differentiation and reprogramming

A Model of the Cellular Iron Homeostasis Network Using Semi-Formal Methods for Parameter Space Exploration