×

Interpolative Boolean networks. (English) Zbl 1377.94078

Summary: Boolean networks are used for modeling and analysis of complex systems of interacting entities. Classical Boolean networks are binary and they are relevant for modeling systems with complex switch-like causal interactions. More descriptive power can be provided by the introduction of gradation in this model. If this is accomplished by using conventional fuzzy logics, the generalized model cannot secure the Boolean frame. Consequently, the validity of the model’s dynamics is not secured. The aim of this paper is to present the Boolean consistent generalization of Boolean networks, interpolative Boolean networks. The generalization is based on interpolative Boolean algebra, the \([0,1]\)-valued realization of Boolean algebra. The proposed model is adaptive with respect to the nature of input variables and it offers greater descriptive power as compared with traditional models. For illustrative purposes, IBN is compared to the models based on existing real-valued approaches. Due to the complexity of the most systems to be analyzed and the characteristics of interpolative Boolean algebra, the software support is developed to provide graphical and numerical tools for complex system modeling and analysis.

MSC:

94C10 Switching theory, application of Boolean algebra; Boolean functions (MSC2010)
03G05 Logical aspects of Boolean algebras
PDF BibTeX XML Cite
Full Text: DOI

References:

[1] Thomas, R., Regulatory networks seen as asynchronous automata: a logical description, Journal of Theoretical Biology, 153, 1, 1-23, (1991)
[2] Ghil, M.; Zaliapin, I.; Coluzzi, B., Boolean delay equations: a simple way of looking at complex systems, Physica D: Nonlinear Phenomena, 237, 23, 2967-2986, (2008) · Zbl 1153.37315
[3] Wittmann, D. M.; Krumsiek, J.; Saez-Rodriguez, J.; Lauffenburger, D. A.; Klamt, S.; Theis, F. J., Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling, BMC Systems Biology, 3, article 98, (2009)
[4] Zadeh, L. A., Outline of a new approach to the analysis of complex systems and decision processes, IEEE Transactions on Systems, Man, and Cybernetics, 3, 1, 28-44, (1973) · Zbl 0273.93002
[5] Kauffman, S. A., Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, 22, 3, 437-467, (1969)
[6] Tomé, J. A.; Carvalho, J. P., Fuzzy Boolean nets—a nature inspired model for learning and reasoning, Fuzzy Sets and Systems, 253, 1-27, (2014) · Zbl 1334.68193
[7] Saadatpour, A.; Albert, R., Boolean modeling of biological regulatory networks: a methodology tutorial, Methods, 62, 1, 3-12, (2013)
[8] Videla, S.; Guziolowski, C.; Eduati, F.; Thiele, S.; Gebser, M.; Nicolas, J.; Saez-Rodriguez, J.; Schaub, T.; Siegel, A., Learning Boolean logic models of signaling networks with ASP, Theoretical Computer Science, 599, 79-101, (2015) · Zbl 1330.92050
[9] Wittmann, D. M.; Theis, F. J., Dynamic regimes of random fuzzy logic networks, New Journal of Physics, 13, (2011)
[10] Goles, E.; Salinas, L., Comparison between parallel and serial dynamics of Boolean networks, Theoretical Computer Science, 396, 1-3, 247-253, (2008) · Zbl 1145.68035
[11] Thomas, R., Boolean formalization of genetic control circuits, Journal of Theoretical Biology, 42, 3, 563-585, (1973)
[12] Wang, R.-S.; Saadatpour, A.; Albert, R., Boolean modeling in systems biology: an overview of methodology and applications, Physical Biology, 9, 5, (2012)
[13] Chaves, M.; Albert, R.; Sontag, E. D., Robustness and fragility of Boolean models for genetic regulatory networks, Journal of Theoretical Biology, 235, 3, 431-449, (2005)
[14] Chaves, M.; Carta, A., Attractor computation using interconnected Boolean networks: testing growth rate models in E. Coli, Theoretical Computer Science, 599, 47-63, (2015) · Zbl 1337.92054
[15] Wright, D. G.; Stocker, T. F.; Mysak, L. A., A note on quaternary climate modelling using Boolean delay equations, Climate Dynamics, 4, 4, 263-267, (1990)
[16] Saunders, A.; Ghil, M., A Boolean delay equation model of ENSO variability, Physica D: Nonlinear Phenomena, 160, 1-2, 54-78, (2001) · Zbl 0983.86001
[17] Zaliapin, I.; Keilis-Borok, V.; Ghil, M., A boolean delay equation model of colliding cascades. Part I: multiple seismic regimes, Journal of Statistical Physics, 111, 3-4, 815-837, (2003) · Zbl 1018.37011
[18] Zaliapin, I.; Keilis-Borok, V.; Ghil, M., A boolean delay equation model of colliding cascades. Part II: prediction of critical transitions, Journal of Statistical Physics, 111, 3-4, 839-861, (2003) · Zbl 1018.37012
[19] Easton, G.; Brooks, R. J.; Georgieva, K.; Wilkinson, I., Understanding the dynamics of industrial networks using Kauffman Boolean networks, Advances in Complex Systems. A Multidisciplinary Journal, 11, 1, 139-164, (2008) · Zbl 1165.90354
[20] Coluzzi, B.; Ghil, M.; Hallegatte, S.; Weisbuch, G., Boolean delay equations on networks in economics and the geosciences, International Journal of Bifurcation and Chaos, 21, 12, 3511-3548, (2011) · Zbl 1270.34184
[21] Gu, J.-W.; Siu, T.-K.; Zheng, H., On modeling credit defaults: a probabilistic Boolean network approach, Risk and Decision Analysis, 4, 2, 119-129, (2013) · Zbl 1294.91182
[22] Kobayashi, K.; Hiraishi, K., A probabilistic approach to control of complex systems and its application to real-time pricing, Mathematical Problems in Engineering, 2014, (2014) · Zbl 1407.93072
[23] Kok, T.; Wang, P., A study of 3-gene regulation networks using NK-boolean network model and fuzzy logic networking, Fuzzy Applications in Industrial Engineering. Fuzzy Applications in Industrial Engineering, Studies in Fuzziness and Soft Computing, 201, 119-151, (2006), Berlin, Germany: Springer, Berlin, Germany
[24] Cao, Y.; Wang, P. P.; Tokuta, A., Gene regulatory network modeling: a data driven approach, Fuzzy Logic. Fuzzy Logic, Studies in Fuzziness and Soft Computing, 215, 247-281, (2007), Berlin, Germany: Springer, Berlin, Germany · Zbl 1127.92017
[25] 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 Computational Biology, 7, 3, (2011)
[26] Salmeron, J. L.; Papageorgiou, E. I., A Fuzzy Grey Cognitive Maps-based Decision Support System for radiotherapy treatment planning, Knowledge-Based Systems, 30, 151-160, (2012)
[27] Poret, A.; Sousa, C. M.; Boissel, J. P., A logic-based modeling derived from boolean networks: adding fuzzy logic and edge tuning, Simulation, 1, article 10, (2014)
[28] Grieb, M.; Burkovski, A.; Sträng, J. E.; Kraus, J. M.; Groß, A.; Palm, G.; Kühl, M.; Kestler, H. A., Predicting variabilities in cardiac gene expression with a boolean network incorporating uncertainty, PLoS ONE, 10, 7, (2015)
[29] Hájek, P., Metamathematics of Fuzzy Logic, (1998), Dordrecht, The Netherlands: Kluwer Academic, Dordrecht, The Netherlands · Zbl 0937.03030
[30] Jenei, S., A more efficient method for defining fuzzy connectives, Fuzzy Sets and Systems, 90, 1, 25-35, (1997) · Zbl 0922.03074
[31] Radojevic, D., New \([0,1]\)-valued logic: a natural generalization of Boolean logic, Yugoslav Journal of Operations Research, 10, 2, 185-216, (2000) · Zbl 0965.03027
[32] Lähdesmäki, H.; Shmulevich, I.; Yli-Harja, O., On learning gene regulatory networks under the Boolean network model, Machine Learning, 52, 1-2, 147-167, (2003) · Zbl 1039.68162
[33] Sharan, R.; Karp, R. M., Reconstructing Boolean models of signaling, Journal of Computational Biology, 20, 3, 249-257, (2013)
[34] Gabbay, D. M.; Guenthner, F., Handbook of Philosophical Logic, (2011), Berlin, Germany: Springer-Verlag, Berlin, Germany · Zbl 1035.03002
[35] Davidich, M. I.; Bornholdt, S., Boolean Network Model Predicts Knockout Mutant Phenotypes of Fission Yeast, PLoS ONE, 8, 9, (2013)
[36] Dobric, V.; De Moraes, R. M.; Kerre, E. E.; Dos Santos Machado, L.; Lu, J., Fuzzification of boolean networks, Decision Making and Soft Computing—Proceedings of the 11th International FLINS Conference, 276-281, Singapore: World Scientific, Singapore
[37] Dobrić, V. D., Concepts modelling using consistent fuzzy logic [PhD, thesis], (2016), Belgrade, Serbia: Faculty of Organisational Sciences, University of Belgrade, Belgrade, Serbia
[38] Dobrić, V.; Milošević, P.; Petrović, B.; Delibašić, B.; et al., Modelling Complex Systems using Interpolative Boolean algebra, Proceedings of the 1st EWG-DSS International Conference on Decision Support System Technology: Big Data Analytics for Decision Making (ICDSST ’15)
[39] Radojevic, D., Fuzzy set theory in the Boolean frame, International Journal of Computers Communications & Control, 3, 3, 121-131, (2008)
[40] Radojević, D., Logical aggregation based on interpolative Boolean algebra, Mathware & Soft Computing, 15, 1, 125-141, (2008) · Zbl 1152.03322
[41] Radojević, D., Real sets as consistent Boolean generalization of classical sets, From Natural Language to Soft Computing: New Paradigms in Artificial Intelligence, 150-171, (2008), Bucharest, Romania: Editing House of Romanian Academy, Bucharest, Romania
[42] Radojevic, D., Real-valued realizations of boolean algebras are a natural frame for consistent fuzzy logic, On Fuzziness. On Fuzziness, Studies in Fuzziness and Soft Computing, 299, 559-565, (2013)
[43] Poledica, A.; Milošević, P.; Dragović, I.; Petrović, B.; Radojević, D., Modeling consensus using logic-based similarity measures, Soft Computing, 19, 11, 3209-3219, (2015)
[44] Dobrić, V.; Kovačević, D.; Petrović, B.; Radojević, D.; Milošević, P., Formalization of human categorization process using interpolative Boolean algebra, Mathematical Problems in Engineering, 2015, (2015) · Zbl 1395.91386
[45] Milošević, P.; Petrović, B.; Radojević, D.; Kovačević, D., A software tool for uncertainty modeling using Interpolative Boolean algebra, Knowledge-Based Systems, 62, 1-10, (2014)
[46] Baumeister, J., Advanced empirical testing, Knowledge-Based Systems, 24, 1, 83-94, (2011)
[47] Weeraratna, A. T.; Jiang, Y.; Hostetter, G.; Rosenblatt, K.; Duray, P.; Bittner, M.; Trent, J. M., Wnt5a signaling directly affects cell motility and invasion of metastatic melanoma, Cancer Cell, 1, 3, 279-288, (2002)
[48] Kobayashi, K.; Hiraishi, K., Verification and optimal control of context-sensitive probabilistic Boolean networks using model checking and polynomial optimization, The Scientific World Journal, 2014, (2014)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.