Revisiting the Training of Logic Models of Protein Signaling Networks with ASP
A fundamental question in systems biology is the construction and training to data of mathematical models. Logic formalisms have become very popular to model signaling networks because their simplicity allows us to model large systems encompassing hundreds of proteins. An approach to train (Boolean) logic models to high-throughput phospho-proteomics data was recently introduced and solved using optimization heuristics based on stochastic methods. Here we demonstrate how this problem can be solved using Answer Set Programming (ASP), a declarative problem solving paradigm, in which a problem is encoded as a logical program such that its answer sets represent solutions to the problem. ASP has significant improvements over heuristic methods in terms of efficiency and scalability, it guarantees global optimality of solutions as well as provides a complete set of solutions. We illustrate the application of ASP with in silico cases based on realistic networks and data.
KeywordsLogic modeling answer set programming protein signaling networks
Unable to display preview. Download preview PDF.
- 4.Guziolowski, C., Kittas, A., Dittmann, F., Grabe, N.: Automatic generation of causal networks linking growth factor stimuli to functional cell state changes. FEBS Journal (2012)Google Scholar
- 9.Saez-Rodriguez, J., Alexopoulos, L.G., Epperlein, J., Samaga, R., Lauffenburger, D.A., Klamt, S., Sorger, P.K.: Discrete logic modelling as a means to link protein signalling networks with functional analysis of mammalian signal transduction. Molecular Systems Biology 5(331), 331 (2009)Google Scholar
- 10.Prill, R.J., Saez-Rodriguez, J., Alexopoulos, L.G., Sorger, P.K., Stolovitzky, G.: Crowdsourcing network inference: the DREAM predictive signaling network challenge. Sci. Signal 4(189), mr7 (2011)Google Scholar
- 11.Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press (2003)Google Scholar
- 12.Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving, pp. 386–392 (2007)Google Scholar
- 13.Mitsos, A., Melas, I., Siminelakis, P., Chairakaki, A., Saez-Rodriguez, J., Alexopoulos, L.G.: Identifying Drug Effects via Pathway Alterations using an Integer Linear Programming Optimization Formulation on Phosphoproteomic Data. PLoS Comp. Biol. 5(12), e1000591 (2009)Google Scholar
- 14.Klamt, S., Haus, U.U., Theis, F.J.: Hypergraphs and Cellular Networks. PLoS Comput. Biol. 5(5), e1000385 (2009)Google Scholar
- 16.Saez-Rodriguez, J., Simeoni, L., Lindquist, J., Hemenway, R., Bommhardt, U., Arndt, B., Haus, U.U., Weismantel, R., Gilles, E., Klamt, S., Schraven, B.: A Logical Model Provides Insights into T Cell Receptor Signaling. PLoS Comput. Biol. 3(8), e163 (2007)Google Scholar
- 18.Tsang, E.: Foundations of constraint satisfaction. Academic Pr. (1993)Google Scholar
- 21.Morris, M.K., Saez-Rodriguez, J., Clarke, D.C., Sorger, P.K., Lauffenburger, D.A.: Training signaling pathway maps to biochemical data with constrained fuzzy logic: quantitative analysis of liver cell responses to inflammatory stimuli. PLoS Comput. Biol. 7(3), e1001099 (2011)Google Scholar