Abstract
The inference of gene predictors in the gene regulatory network (GRN) has become an important research area in the genomics and medical disciplines. Accurate predictors are necessary for constructing the GRN model and to enable targeted biological experiments that attempt to validate or control the regulation process. In this chapter, we implement a SAT-based algorithm to determine the gene predictor set from steady state gene expression data (attractor states). Using the attractor states as input, the states are ordered into attractor cycles. For each attractor cycle ordering, all possible predictors are enumerated and a conjunctive normal form (CNF) expression is generated which encodes these predictors and their biological constraints. Each CNF is solved using a SAT solver to find candidate predictor sets. Statistical analysis of the resulting predictor sets selects the most likely predictor set of the GRN, corresponding to the attractor data. We demonstrate our algorithm on attractor state data from a melanoma study and present our predictor set results.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Part of the data reported in this chapter is reprinted with permission from “Inference of Gene Predictor Set Using Boolean Satisfiability” by Pey-Chang Kent Lin, Sunil P. Khatri. IEEE International Workshop on Genomic Signal Processing and Statistics (GENSIPS) 2010, Nov. 2010, pp. 1–4, Copyright 2010 by IEEE
References
Lin, P. K., Khatri, S.P.: Inference of Gene Predictor Set Using Boolean Satisfiability. Genomic Signal Processing and Statistics (GENSIPS). 2010 IEEE International Workshop on, pp. 1–4. (2010)
Lin, P. K., Khatri, S.P.: Application of Logic Synthesis to the Understanding and Cure of Genetic Diseases. Proceedings of the 49th Annual Design Automation Conference, pp. 734–740. (2012)
Bittner M. et al.: Molecular classification of cutaneous malignant melanoma by gene expression profiling. Nature. 406(3), 536–540 (2000)
Burke, W., Psaty, B.M.: Personalized medicine in the era of genomics. JAMA. 298(14), 1682–1684 (2007)
Teutsch, M. et al.: The evaluation of genomic applications in practice and prevention (EGAPP) initiative:methods of the EGAPP working group. Genet. Med. 11(1), 3–14 (2009)
Guelzim, N. et al.: Topological and causal structure of the yeast transcriptional regulatory network. Nat. Genet. 31, 60–63 (2002)
Dougherty, E.R., Kim, S., Chen, Y.: Coefficient of determination in nonlinear signal processing. Signal Process. 80(10), 2219–2235 (2000)
Zhao, W., Serpendin, E., Dougherty, E.R.: Inferring connectivity of genetic regulatory networks using information-theoretic criteria. IEEE/ACM Trans. Comput. Biol. Bioinformatics, 5(2), 262–274 (2008)
Een, N., Sorensson, N.: The minisat page http://minisat.se/. Accessed 6 April 2010
Zhou,W, Wang, X., Dougherty, E.R: Gene prediction using multinomial probit regression with Bayesian gene selection. EURASIP J. App. Signal. Process. 115–124 (2004)
Zhou, W., Serpendin, E., Dougherty, E.R.: Inferring gene regulatory networks from time series data using the minimum description length principle. Bioinformatics, 17, 2129–2135 (2006)
Pal R., Ivanov I., Datta A., Bittner M.L., Dougherty E.R.: Generating Boolean networks with a prescribed attractor structure. Bioinformatics, 21(21), 4021–4025 (2005)
Kauffman S.A.: The Origins of Order: Self-Organization and Selection in Evolution (1 edn). Oxford University Press, USA 1993
Een N., Sorensson N.: An Extensible SAT-solver, Lecture Notes in Computer Science. springer berlin, Heidelberg, 2004
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media New York
About this chapter
Cite this chapter
Lin, PC., Khatri, S. (2014). Predictor Set Inference using SAT. In: Logic Synthesis for Genetic Diseases. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-9429-4_2
Download citation
DOI: https://doi.org/10.1007/978-1-4614-9429-4_2
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-9428-7
Online ISBN: 978-1-4614-9429-4
eBook Packages: EngineeringEngineering (R0)