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].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alves, F., Dilão, R.: Modeling segmental patterning in drosophila: Maternal and gap genes. J. Theor. Biol. 241(2), 342–359 (2006)
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)
Corblin, F., Fanchon, E., Trilling, L.: Applications of a formal approach to decipher discrete genetic networks. BMC Bioinformatics 11, 385 (2010)
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)
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)
Sánchez, L., Thieffry, D.: A logical analysis of the Drosophila gap-gene system. J. Theor. Biol. 211(1), 115–141 (2001)
Thomas, R.: Regulatory networks seen as asynchronous automata: A logical description. J. Theor. Biol. 153(1), 1–23 (1991)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D. (2012). Automatic Inference of Regulatory and Dynamical Properties from Incomplete Gene Interaction and Expression Data. In: Lones, M.A., Smith, S.L., Teichmann, S., Naef, F., Walker, J.A., Trefzer, M.A. (eds) Information Processign in Cells and Tissues. IPCAT 2012. Lecture Notes in Computer Science, vol 7223. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28792-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-28792-3_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28791-6
Online ISBN: 978-3-642-28792-3
eBook Packages: Computer ScienceComputer Science (R0)