Abstract
We present a constraint based declarative approach for analyzing qualitatively genetic regulatory networks (GRNs) with the discrete formalism of R. Thomas. For this purpose, we use the logic programming technology ASP (Answer Set Programming) whose related logic is non monotonic. Our aim is twofold. First, we give a formal modeling of both Thomas’ GRNs and biological data like experimental behaviors and gene interactions and we evaluate the declarative approach on three real biological applications. Secondly, for taking into account both gene interaction properties which are only generally true and automatic inconsistency repairing, we introduce an optimized modeling which leads us to exhibit new logical expressions for the conjunction of defaults and to show that they can be applied safely to Thomas’ GRNs.
This is a preview of subscription content, log in via an institution to check access.
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., Dilao, R.: Modeling segmental patterning in drosophila: Maternal and gap genes. J. Theor. Biol. 241, 342–359 (2006)
Baral, C.: Knowledge Representation, Reasoning, and Declarative Problem Solving. Cambridge University Press, New York (2003)
Batt, G., Page, M., Cantone, I., Goessler, G., Monteiro, P., De Jong, H.: Efficient parameter search for qualitative models of regulatory networks using symbolic model checking. Bioinformatics 26(18), i603–i610 (2010)
Bernot, G., Comet, J.-P., Richard, A., Guespin, J.: Application of formal methods to biological regulatory networks: extending Thomas’ asynchronous logical approach with temporal logic. Journal of Theoretical Biology 229(3), 339–347 (2004)
Besnard, P.: An Introduction to Default Logic. Springer (1989)
Cantone, I., Marucci, L., Iorio, F., Ricci, M.A., Belcastro, V., Bansal, M., Santini, S., di Bernardo, M., di Bernardo, D., Cosma, M.P.: A yeast synthetic network for in vivo assessment of reverse-engineering and modeling approaches. Cell 137(1), 172–181 (2009)
Corblin, F., Fanchon, E., Trilling, L., Chaouiya, C., Thieffry, D.: 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.) IPCAT 2012. LNCS, vol. 7223, pp. 25–30. Springer, Heidelberg (2012)
Corblin, F., Tripodi, S., Fanchon, É., Ropers, D., Trilling, L.: A declarative constraint-based method for analyzing discrete genetic regulatory networks. Biosystems 98, 91–104 (2009)
Farinas de Cerro, L., Inoue, K. (eds.): Logical Modeling of Biological Systems, pp. 167–206. Wiley, Chichester (2014)
Fayruzov, T., Janssen, J., Vermeir, D., Cornelis, C., Cock, M.D.: Modelling gene and protein regulatory networks with answer set programming. Int. J. Data Min. Bioinformatics 5(2), 209–229 (2011)
Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: A user’s guide to gringo, clasp, clingo, and iclingo (version 3.x) (October 2010)
Jaeger, J., Blagov, M., Kosman, D., Kozlov, K.N., Myasnikova, 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, 1721–1737 (2004)
Ropers, D., de Jong, H., Page, M., Schneider, D., Geiselmann, J.: Qualitative simulation of the carbon starvation response in escherichia coli. Biosystems 84(2), 124–152 (2006)
Sánchez, L., Thieffry, D.: A logical analysis of the Drosophila gap-gene system. J. Theor. Biol. 211, 115–141 (2001)
Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. logical analysis of regulatory networks in terms of feedback circuits. CHAOS 11(1), 180–195 (2001)
Videla, S., Guziolowski, C., Eduati, F., Thiele, S., Gebser, M., Nicolas, J., Saez-Rodriguez, J., Schaub, T., Siegel, A.: Learning boolean logic models of signaling networks with ASP. Theoretical Computer Science (2014)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Mobilia, N., Rocca, A., Chorlton, S., Fanchon, E., Trilling, L. (2015). Logical Modeling and Analysis of Regulatory Genetic Networks in a Non Monotonic Framework. In: Ortuño, F., Rojas, I. (eds) Bioinformatics and Biomedical Engineering. IWBBIO 2015. Lecture Notes in Computer Science(), vol 9043. Springer, Cham. https://doi.org/10.1007/978-3-319-16483-0_58
Download citation
DOI: https://doi.org/10.1007/978-3-319-16483-0_58
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-16482-3
Online ISBN: 978-3-319-16483-0
eBook Packages: Computer ScienceComputer Science (R0)