Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data

  • Fabien Corblin
  • Eric Fanchon
  • Laurent Trilling
  • Claudine Chaouiya
  • Denis Thieffry
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7223)

Abstract

Advanced mathematical methods and computational tools are required to properly understand the behavior of large and complex regulatory networks that control cellular processes. Since available data are predominantly qualitative or semi-quantitative, discrete (logical) modeling approaches are increasingly used to model these networks. Here, relying on the multilevel logical formalism developed by R. Thomas et al. [7,9,8], we propose a computational approach enabling (i) to check the existence of at least one consistent model, given partial data on the regulatory structure and dynamical properties, and (ii) to infer properties common to all consistent models. Such properties represent non trivial deductions and could be used by the biologist to design new experiments. Rather than focusing on a single plausible solution, i.e. a model fully defined, we consider the whole class of models consistent with the available data and some economy criteria, from which we deduce shared properties. We use constraint programming to represent this class of models as the set of all solutions of a set of constraints [3]. For the sake of efficiency, we have developed a framework, called SysBiOX, enabling (i) the integration of partial gene interaction and expression data into constraints and (ii) the resolution of these constraints in order to infer properties about the structure or the behaviors of the gene network. SysBiOX is implemented in ASP (Answer Set Programming) using Clingo [4].

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Alves, F., Dilão, R.: Modeling segmental patterning in drosophila: Maternal and gap genes. J. Theor. Biol. 241(2), 342–359 (2006)CrossRefGoogle Scholar
  2. 2.
    Ashyraliyev, M., Siggens, K., Janssens, H., Blom, J., Akam, M., Jaeger, J.: Gene circuit analysis of the terminal gap gene huckebein. PLoS Comput. Biol. 5(10), e1000548 (2009)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Corblin, F., Fanchon, E., Trilling, L.: Applications of a formal approach to decipher discrete genetic networks. BMC Bioinformatics 11, 385 (2010)CrossRefGoogle Scholar
  4. 4.
    Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam answer set solving collection. AI Communications 24(2), 105–124 (2011)MathSciNetGoogle Scholar
  5. 5.
    Jaeger, J., Blagov, M., Kosman, D., Kozlov, K.N., Manu, M.E., Surkova, S., Vanario-Alonso, C.E., Samsonova, M., Sharp, D.H., Reinitz, J.: Dynamical analysis of regulatory interactions in the gap gene system of drosophila melanogaster. Genetics 167(4), 1721–1737 (2004)CrossRefGoogle Scholar
  6. 6.
    Sánchez, L., Thieffry, D.: A logical analysis of the Drosophila gap-gene system. J. Theor. Biol. 211(1), 115–141 (2001)CrossRefGoogle Scholar
  7. 7.
    Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. J. Theor. Biol. 153(1), 1–23 (1991)CrossRefGoogle Scholar
  8. 8.
    Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory –II. Logical analysis of regulatory networks in term of feedback circuits. Chaos 11(1), 180–195 (2001)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Thomas, R., Thieffry, D., Kaufman, M.: Dynamical behaviour of biological regulatory networks – I. Biological role of feedback loops and pratical use of the concept of the loop-characteritic state. Bull. Math. Biol. 57(2), 247–276 (1995)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Fabien Corblin
    • 1
  • Eric Fanchon
    • 1
  • Laurent Trilling
    • 1
  • Claudine Chaouiya
    • 2
  • Denis Thieffry
    • 3
  1. 1.UJF-Grenoble 1, CNRS, Laboratoire TIMC-IMAG, UMR 5525GrenobleFrance
  2. 2.IGC - Instituto Gulbenkian de CiênciaOeirasPortugal
  3. 3.IBENS - UMR CNRS 8197 - INSERM 1024 - ENSParisFrance

Personalised recommendations