Interpolative Boolean Networks

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 -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.

[1]  Paul P. Wang,et al.  A Study of 3-gene Regulation Networks Using NK-Boolean Network Model and Fuzzy Logic Networking , 2006 .

[2]  Michael Ghil,et al.  A boolean delay equation model of ENSO variability , 2001 .

[3]  Koichi Kobayashi,et al.  Verification and Optimal Control of Context-Sensitive Probabilistic Boolean Networks Using Model Checking and Polynomial Optimization , 2014, TheScientificWorldJournal.

[4]  Assieh Saadatpour,et al.  Boolean modeling of biological regulatory networks: a methodology tutorial. , 2013, Methods.

[5]  Ilya Zaliapin,et al.  A Boolean Delay Equation Model of Colliding Cascades. Part II: Prediction of Critical Transitions , 2003 .

[6]  Alfonso Carta,et al.  Attractor computation using interconnected Boolean networks: Testing growth rate models in E. Coli , 2015, Theor. Comput. Sci..

[7]  Dragan Radojevic,et al.  [0,1]-VALUED LOGIC: A NATURAL GENERALIZATION OF BOOLEAN LOGIC , 2000 .

[8]  Bratislav Petrović,et al.  Formalization of Human Categorization Process Using Interpolative Boolean Algebra , 2015 .

[9]  Madalena Chaves,et al.  Robustness and fragility of Boolean models for genetic regulatory networks. , 2005, Journal of theoretical biology.

[10]  Martin Gebser,et al.  Learning Boolean logic models of signaling networks with ASP , 2015, Theor. Comput. Sci..

[11]  Stefan Bornholdt,et al.  Boolean Network Model Predicts Knockout Mutant Phenotypes of Fission Yeast , 2013, PloS one.

[12]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[13]  D. Radojević.  Logical aggregation based on interpolative boolean algebra , 2008, SOCO 2008.

[14]  Tak Kuen Siu,et al.  On modeling credit defaults: A probabilistic Boolean network approach , 2013, Risk Decis. Anal..

[15]  Rui-Sheng Wang,et al.  Boolean modeling in systems biology: an overview of methodology and applications , 2012, Physical biology.

[16]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .

[17]  Kristina Georgieva,et al.  Understanding the Dynamics of Industrial Networks Using Kauffman Boolean Networks , 2008, Adv. Complex Syst..

[18]  Dragan G. Radojevic,et al.  Modeling consensus using logic-based similarity measures , 2015, Soft Comput..

[19]  M. Ghil,et al.  Boolean delay equations: A simple way of looking at complex systems , 2006, nlin/0612047.

[20]  Ilya Shmulevich,et al.  On Learning Gene Regulatory Networks Under the Boolean Network Model , 2003, Machine Learning.

[21]  Dragan G. Radojevic,et al.  A software tool for uncertainty modeling using Interpolative Boolean algebra , 2014, Knowl. Based Syst..

[22]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[23]  Koichi Kobayashi,et al.  A Probabilistic Approach to Control of Complex Systems and Its Application to Real-Time Pricing , 2014 .

[24]  Claudio Monteiro Sousa,et al.  A logic-based modeling derived from boolean networks: adding fuzzy logic and edge tuning , 2014 .

[25]  Steffen Klamt,et al.  Transforming Boolean models to continuous models: methodology and application to T-cell receptor signaling , 2009, BMC Systems Biology.

[26]  Roded Sharan,et al.  Reconstructing Boolean Models of Signaling , 2012, RECOMB.

[27]  Michael Ghil,et al.  Boolean Delay equations on Networks in Economics and the Geosciences , 2011, Int. J. Bifurc. Chaos.

[28]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[29]  Alade O. Tokuta,et al.  Gene Regulatory Network Modeling: A Data Driven Approach , 2007 .

[30]  Julio Saez-Rodriguez,et al.  Training Signaling Pathway Maps to Biochemical Data with Constrained Fuzzy Logic: Quantitative Analysis of Liver Cell Responses to Inflammatory Stimuli , 2011, PLoS Comput. Biol..

[31]  Thomas F. Stocker,et al.  A note on quaternary climate modelling using Boolean delay equations , 1990 .

[32]  G. Palm,et al.  Predicting Variabilities in Cardiac Gene Expression with a Boolean Network Incorporating Uncertainty , 2015, PloS one.

[33]  Dominik M. Wittmann,et al.  Dynamic regimes of random fuzzy logic networks , 2011 .

[34]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[35]  Eric Goles Ch.,et al.  Comparison between parallel and serial dynamics of Boolean networks , 2008, Theor. Comput. Sci..

[36]  Joachim Baumeister,et al.  Advanced empirical testing , 2011, Knowl. Based Syst..

[37]  Vladimir Dobrić.  FUZZIFICATION OF BOOLEAN NETWORKS , 2014 .

[38]  Dragan G. Radojevic.  Real-Valued Realizations of Boolean Algebras Are a Natural Frame for Consistent Fuzzy Logic , 2013, On Fuzziness.

[39]  João Paulo Carvalho,et al.  Fuzzy Boolean Nets - a nature inspired model for learning and reasoning , 2014, Fuzzy Sets Syst..

[40]  Sándor Jenei,et al.  A more efficient method for defining fuzzy connectives , 1997, Fuzzy Sets Syst..

[41]  M. Bittner,et al.  Wnt5a signaling directly affects cell motility and invasion of metastatic melanoma. , 2002, Cancer cell.

[42]  Jose L. Salmeron,et al.  A Fuzzy Grey Cognitive Maps-based Decision Support System for radiotherapy treatment planning , 2012, Knowl. Based Syst..