Computing attractors of multi-valued Gene Regulatory Networks using Fuzzy Answer Set Programming

Fuzzy Answer Set Programming (FASP) extends the popular Answer Set Programming (ASP) paradigm to modeling and solving combinatorial search problems in continuous domains. The recent development of FASP solvers has turned FASP into a practical tool for solving real-world problems. In this paper, we propose the use of FASP for modeling the dynamics of Gene Regulatory Networks (GRNs), an important kind of biological network. A commonly used simplifying assumption to model the dynamics of GRNs is to assume only Boolean levels of activation of each node. ASP has been used to model such Boolean networks. Our work extends this Boolean network formalism by allowing multi-valued activation levels. We show how FASP can be used to model the dynamics of such networks. We also experimentally assess the plausibility of our method using real biological networks found in the literature.

[1]  Mario Alviano,et al.  Fuzzy answer set computation via satisfiability modulo theories , 2015, Theory and Practice of Logic Programming.

[2]  C. Espinosa-Soto,et al.  A Gene Regulatory Network Model for Cell-Fate Determination during Arabidopsis thaliana Flower Development That Is Robust and Recovers Experimental Gene Expression Profilesw⃞ , 2004, The Plant Cell Online.

[3]  Marius Thomas Lindauer,et al.  Potassco: The Potsdam Answer Set Solving Collection , 2011, AI Commun..

[4]  Wolfgang Faber,et al.  The DLV system for knowledge representation and reasoning , 2002, TOCL.

[5]  Martine De Cock,et al.  A finite-valued solver for disjunctive fuzzy answer set programs , 2014, ECAI.

[6]  David A. Rosenblueth,et al.  "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis , 2011, BMC Bioinformatics.

[7]  Kathleen Marchal,et al.  ASP-G: an ASP-based method for finding attractors in genetic regulatory networks , 2014, Bioinform..

[8]  Ioannis Xenarios,et al.  A method for the generation of standardized qualitative dynamical systems of regulatory networks , 2005, Theoretical Biology and Medical Modelling.

[9]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[10]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[11]  Martine De Cock,et al.  Complexity of fuzzy answer set programming under Łukasiewicz semantics , 2014, Int. J. Approx. Reason..

[12]  M. Page,et al.  Search for Steady States of Piecewise-Linear Differential Equation Models of Genetic Regulatory Networks , 2008, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[13]  Guowu Yang,et al.  An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks , 2013, PloS one.

[14]  Chris Cornelis,et al.  Modeling Protein Interaction Networks with Answer Set Programming , 2009, 2009 IEEE International Conference on Bioinformatics and Biomedicine.

[15]  Katsumi Inoue,et al.  Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Logic Programming for Boolean Networks , 2022 .

[16]  Marcelle Kaufman,et al.  Positive Feedback Circuits and Adaptive Regulations in Bacteria , 2001, Acta biotheoretica.

[17]  A. Garg,et al.  Modeling of Multiple Valued Gene Regulatory Networks , 2007, 2007 29th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[18]  Martine De Cock,et al.  Fuzzy Answer Set Programming , 2006, JELIA.

[19]  Esra Erdem,et al.  Theory and applications of answer set programming , 2002 .

[20]  Maxim Teslenko,et al.  Kauffman networks: analysis and applications , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

[21]  Stefano Aguzzoli,et al.  Finiteness in Infinite-Valued Łukasiewicz Logic , 2000, J. Log. Lang. Inf..

[22]  Christoph Weidenbach,et al.  Programming Logics , 2013, Lecture Notes in Computer Science.

[23]  Maxim Teslenko,et al.  A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[24]  É. Remy,et al.  Mapping multivalued onto Boolean dynamics. , 2011, Journal of theoretical biology.

[25]  Mario Alviano,et al.  Fuzzy answer sets approximations , 2013, Theory Pract. Log. Program..

[26]  Martine De Cock,et al.  Solving Disjunctive Fuzzy Answer Set Programs , 2015, LPNMR.

[27]  Thomas Eiter,et al.  Answer Set Programming: A Primer , 2009, Reasoning Web.

[28]  Tamer Kahveci,et al.  Scalable Steady State Analysis of Boolean Biological Regulatory Networks , 2009, PloS one.

[29]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[30]  Jean-Paul Comet,et al.  Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa , 2003, CMSB.

[31]  Luis Mendoza,et al.  A network model for the control of the differentiation process in Th cells. , 2006, Bio Systems.

[32]  Martin Gebser,et al.  The BioASP Library: ASP Solutions for Systems Biology , 2010, 2010 22nd IEEE International Conference on Tools with Artificial Intelligence.

[33]  Denis Thieffry,et al.  Segmenting the fly embryo: a logical analysis of the pair-rule cross-regulatory module. , 2003, Journal of theoretical biology.

[34]  Steven Schockaert,et al.  Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains , 2012, TOCL.

[35]  Torsten Schaub,et al.  Modeling Biological Networks by Action Languages via Answer Set Programming , 2008, Constraints.

[36]  Alex M. Andrew,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2004 .

[37]  Giovanni De Micheli,et al.  An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments , 2007, RECOMB.

[38]  Thomas Lukasiewicz.  Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[39]  Wolfgang Faber,et al.  Planning under Incomplete Knowledge , 2000, Computational Logic.