A Logical Constraint–based Approach to Infer and Explore Diversity and Composition in Thresholded Boolean Automaton Networks
Gene regulatory networks (GRN) are often modeled by Boolean networks to describe their structures and properties. Constraint logic programming (CPL) can be used to infer networks that satisfy constraints applied on their structure and their dynamics. Such approach yield complete satisfiable network sets that can be large. Having such complete sets allows to compare networks between each other and to understand how they can be constructed from other networks. In the present paper, we describe this inference approach applied to a particular class of thresholded Boolean automaton networks, a variation of Boolean neural networks, focusing on a necessary step to reduce the size of satisfiable sets to sets of non-redundant networks. For that purpose, we use a recent non-monotonic logic programming technology, namely Answer Set Programming (ASP). Our approach managed to yield complete network sets satisfying a given behavior, namely having a specific dynamics – a binary motif fixed in advance – on at least one node of networks of a given size. This allows us to illustrate how general rules could explain some relations of composition between these networks.
KeywordsBioinformatics Genetic regulatory network Thresholded boolean automaton networks Answer set programming
- 3.Elena, A., Ben-Amor, H., Glade, N., Demongeot, J.: Motifs in Regulatory Networks and their Structural Robustness. In: 8th IEEE International Conference on BioInformatics and BioEngineering, BIBE 2008, Athens, Greece (2008). IEEE Trans. Inf. Tech. Biomed.Google Scholar
- 4.Elena, A.: Robustesse des réseaux d’automates booléens à seuil aux modes d’itération. Application à la modélisation des réseaux de régulation génétique. Ph.D. Thesis (French), Université Joseph Fourier (2009). https://tel.archives-ouvertes.fr/tel-00447564/
- 6.Gebser, M., Kaminski, R., Obermeier, P., Schaub, T.: Ricochet Robots Reloaded – A Case-study in Multi-shot ASP Solving. In: Advances in Knowledge Representation, Logic Programming and Abstract Argumentation. vol. 9060, pp. 17–32. LNCS (2015)Google Scholar
- 7.Glade, N., Elena, A., Corblin, F., Fanchon, E., Demongeot, J., Ben Amor H.: Determination, optimization and taxonomy of regulator networks. The example of Arabidopsis thaliana flower morphogenesis. IEEE AINA’ 11, IEEE Press, Piscataway, 488–494 (2011)Google Scholar