A hybrid factored frontier algorithm for dynamic Bayesian network models of biopathways

Dynamic Bayesian Networks (DBNs) can serve as succinct models of large biochemical networks [19]. To analyze these models, one must compute the probability distribution over system states at a given time point. Doing this exactly is infeasible for large models and hence approximate methods are needed. The Factored Frontier algorithm (FF) is a simple and efficient approximate algorithm [25] that has been designed to meet this need. However the errors it incurs can be quite large. The earlier Boyen-Koller (BK) algorithm [3] can also incur significant errors. To address this, we present here a novel approximation algorithm called the Hybrid Factored Frontier (HFF) algorithm. HFF may be viewed as a parametrized version of FF. At each time slice, in addition to maintaining probability distributions over local states -as FF does- we also maintain explicitly the probabilities of a small number of global states called spikes. When the number of spikes is 0, we get FF and with all global states as spikes, we get the - computationally infeasible- exact inference algorithm. We show that by increasing the number of spikes one can reduce errors while the additional computational effort required is only quadratic in the number of spikes. We have validated the performance of our algorithm on large DBN models of biopathways. Each pathway has more than 30 species and the corresponding DBN has more than 3000 nodes. Comparisons with the performances of FF and BK show that HFF can be a useful and powerful approximation algorithm for analyzing DBN models of biopathways.

[1]  Thomas A. Henzinger,et al.  Sliding Window Abstraction for Infinite Markov Chains , 2009, CAV.

[2]  Marta Kwiatkowska,et al.  Probabilistic model checking for systems biology , 2011 .

[3]  François Fages,et al.  On the Analysis of Numerical Data Time Series in Temporal Logic , 2007, CMSB.

[4]  Nir Friedman,et al.  Inferring Cellular Networks Using Probabilistic Graphical Models , 2004, Science.

[5]  Jung-Fu Cheng,et al.  Turbo Decoding as an Instance of Pearl's "Belief Propagation" Algorithm , 1998, IEEE J. Sel. Areas Commun..

[6]  Marta Z. Kwiatkowska,et al.  PRISM: Probabilistic Symbolic Model Checker , 2002, Computer Performance Evaluation / TOOLS.

[7]  Radu Grosu,et al.  Monte Carlo Model Checking , 2005, TACAS.

[8]  K. H. Lee,et al.  The statistical mechanics of complex signaling networks: nerve growth factor signaling , 2004, Physical biology.

[9]  Jacky L. Snoep,et al.  BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems , 2005, Nucleic Acids Res..

[10]  Kevin Murphy,et al.  Bayes net toolbox for Matlab , 1999 .

[11]  Boris N. Kholodenko,et al.  Untangling the signalling wires , 2007, Nature Cell Biology.

[12]  Michael Hucka,et al.  A Correction to the Review Titled "Rules for Modeling Signal-Transduction Systems" by W. S. Hlavacek et al. , 2006, Science's STKE.

[13]  Rina Dechter,et al.  An Anytime Scheme for Bounding Posterior Beliefs , 2006, AAAI.

[14]  Daniel P. Huttenlocher,et al.  Efficient Belief Propagation for Early Vision , 2004, Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004..

[15]  Kevin P. Murphy,et al.  The Factored Frontier Algorithm for Approximate Inference in DBNs , 2001, UAI.

[16]  David Hsu,et al.  A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System , 2011, PLoS Comput. Biol..

[17]  Nir Friedman,et al.  Probabilistic Graphical Models - Principles and Techniques , 2009 .

[18]  David Hsu,et al.  Probabilistic approximations of ODEs based bio-pathway dynamics , 2011, Theor. Comput. Sci..

[19]  David Hsu,et al.  Probabilistic Approximations of Signaling Pathway Dynamics , 2009, CMSB.

[20]  Thomas A. Henzinger,et al.  Approximation of event probabilities in noisy cellular processes , 2009, Theor. Comput. Sci..

[21]  Hui Lin,et al.  Online adaptive learning for speech recognition decoding , 2010, INTERSPEECH.

[22]  Axel Legay,et al.  A Bayesian Approach to Model Checking Biological Systems , 2009, CMSB.

[23]  David R. Gilbert,et al.  A Model Checking Approach to the Parameter Estimation of Biochemical Pathways , 2008, CMSB.

[24]  Xavier Boyen,et al.  Tractable Inference for Complex Stochastic Processes , 1998, UAI.

[25]  David R. Gilbert,et al.  Analysis of Signalling Pathways Using Continuous Time Markov Chains , 2006, Trans. Comp. Sys. Biology.

[26]  Vincent Danos,et al.  Rule-Based Modelling of Cellular Signalling , 2007, CONCUR.

[27]  Ursula Klingmüller,et al.  Theoretical and experimental analysis links isoform- specific ERK signalling to cell fate decisions , 2009, Molecular systems biology.