Minimal intervention strategies in logical signaling networks with ASP

Proposing relevant perturbations to biological signaling networks is central to many problems in biology and medicine because it allows for enabling or disabling certain biological outcomes. In contrast to quantitative methods that permit fine-grained (kinetic) analysis, qualitative ap- proaches allow for addressing large-scale networks. This is accomplished by more abstract rep- resentations such as logical networks. We elaborate upon such a qualitative approach aiming at the computation of minimal interventions in logical signaling networks relying on Kleene's three- valued logic and fixpoint semantics. We address this problem within answer set programming and show that it greatly outperforms previous work using dedicated algorithms.

[1]  Peter K. Sorger,et al.  Logic-Based Models for the Analysis of Cell Signaling Networks† , 2010, Biochemistry.

[2]  Roded Sharan,et al.  Reconstructing Boolean Models of Signaling , 2012, RECOMB.

[3]  Aurélien Naldi,et al.  Diversity and Plasticity of Th Cell Types Predicted from Regulatory Network Modelling , 2010, PLoS Comput. Biol..

[4]  Chitta Baral,et al.  A knowledge based approach for representing and reasoning about signaling networks , 2004, ISMB/ECCB.

[5]  Chitta Baral,et al.  Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[6]  Martin Gebser,et al.  Detecting Inconsistencies in Large Biological Networks with Answer Set Programming , 2008, ICLP.

[7]  Steffen Klamt,et al.  Hypergraphs and Cellular Networks , 2009, PLoS Comput. Biol..

[8]  Martin Gebser,et al.  Complex optimization in answer set programming , 2011, Theory and Practice of Logic Programming.

[9]  Claudette Cayrol,et al.  Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models , 1996, ECAI.

[10]  Luigi Palopoli,et al.  The LP-OD system: logic programming meets outlier detection , 2007, ICLP 2007.

[11]  Hidde de Jong,et al.  Symbolic reachability analysis of genetic regulatory networks using discrete abstractions , 2008, Autom..

[12]  Ferhan Türe,et al.  Efficient Haplotype Inference with Answer Set Programming , 2008, AAAI.

[13]  Steffen Klamt,et al.  A Logical Model Provides Insights into T Cell Receptor Signaling , 2007, PLoS Comput. Biol..

[14]  Kenneth J. Kauffman,et al.  Advances in flux balance analysis. , 2003, Current opinion in biotechnology.

[15]  A. Abdi,et al.  Fault Diagnosis Engineering of Digital Circuits Can Identify Vulnerable Molecules in Complex Cellular Pathways , 2008, Science Signaling.

[16]  J. Timmer,et al.  Systems biology: experimental design , 2009, The FEBS journal.

[17]  S. Klamt,et al.  Generalized concept of minimal cut sets in biochemical networks. , 2006, Bio Systems.

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

[19]  Julio Saez-Rodriguez,et al.  Revisiting the Training of Logic Models of Protein Signaling Networks with ASP , 2012, CMSB.

[20]  H. Kitano.  Systems Biology: A Brief Overview , 2002, Science.

[21]  Martin Gebser,et al.  Repair and Prediction (under Inconsistency) in Large Biological Networks with Answer Set Programming , 2010, KR.

[22]  Dan Schonfeld,et al.  Methods for Optimal Intervention in Gene Regulatory Networks [Applications Corner] , 2012, IEEE Signal Processing Magazine.

[23]  Martin Gebser,et al.  clasp : A Conflict-Driven Answer Set Solver , 2007, LPNMR.

[24]  Martin Gebser,et al.  Answer Set Solving in Practice , 2012, Answer Set Solving in Practice.

[25]  S. Schuster,et al.  Metabolic network structure determines key aspects of functionality and regulation , 2002, Nature.

[26]  Rui-Sheng Wang,et al.  Boolean modeling in systems biology: an overview of methodology and applications , 2012, Physical biology.

[27]  Steffen Klamt,et al.  The Logic of EGFR/ErbB Signaling: Theoretical Properties and Analysis of High-Throughput Data , 2009, PLoS Comput. Biol..

[28]  Enrico Giunchiglia,et al.  Solving satisfiability problems with preferences , 2010, Constraints.

[29]  Ron Shamir,et al.  Minimally perturbing a gene regulatory network to avoid a disease phenotype: the glioma network as a test case , 2010, BMC Systems Biology.

[30]  Mingsheng Zhang,et al.  Comparing signaling networks between normal and transformed hepatocytes using discrete logical models. , 2011, Cancer research.

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

[32]  Maria Liakata,et al.  Towards Robot Scientists for autonomous scientific discovery , 2010, Automated experimentation.

[33]  Martin Gebser,et al.  Domain-Specific Heuristics in Answer Set Programming , 2013, AAAI.

[34]  Aniruddha Datta,et al.  Optimal Constrained Stationary Intervention in Gene Regulatory Networks , 2008, EURASIP J. Bioinform. Syst. Biol..

[35]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[36]  Leen Stougie,et al.  Algorithms and complexity of enumerating minimal precursor sets in genome-wide metabolic networks , 2012, Bioinform..

[37]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[38]  J. Stelling,et al.  Robustness of Cellular Functions , 2004, Cell.

[39]  Baojun Wang,et al.  Customizing cell signaling using engineered genetic logic circuits. , 2012, Trends in microbiology.

[40]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[41]  Oliver Ray,et al.  Logic-Based Steady-State Analysis and Revision of Metabolic Networks with Inhibition , 2010, 2010 International Conference on Complex, Intelligent and Software Intensive Systems.

[42]  Chiaki Sakama,et al.  Oscillating Behavior of Logic Programs , 2012, Correct Reasoning.

[43]  Julio Saez-Rodriguez,et al.  Identifying Drug Effects via Pathway Alterations using an Integer Linear Programming Optimization Formulation on Phosphoproteomic Data , 2009, PLoS Comput. Biol..

[44]  Steffen Klamt,et al.  Computing Combinatorial Intervention Strategies and Failure Modes in Signaling Networks , 2010, J. Comput. Biol..

[45]  Denis Thieffry,et al.  Mathematical Modelling of Cell-Fate Decision in Response to Death Receptor Engagement , 2010, PLoS Comput. Biol..

[46]  Réka Albert,et al.  Elementary signaling modes predict the essentiality of signal transduction network components , 2011, BMC Systems Biology.

[47]  Martin Gebser,et al.  Advanced Conflict-Driven Disjunctive Answer Set Solving , 2013, IJCAI.

[48]  D. Lauffenburger,et al.  Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction , 2009, Molecular systems biology.