Abstract:Motivation: Mathematical models take an important place in science and engineering. A model can help scientists to explain dynamic behavior of a system and to understand the functionality of system components. Since length of a time series and number of replicates is limited by the cost of experiments, Boolean networks as a structurally simple and parameter-free logical model for gene regulatory networks have attracted interests of many scientists. In order to fit into the biological contexts and to lower the data requirements, biological prior knowledge is taken into consideration during the inference procedure. In the literature, the existing identification approaches can only deal with a subset of possible types of prior knowledge. Results: We propose a new approach to identify Boolean networks from time series data incorporating prior knowledge, such as partial network structure, canalizing property, positive and negative unateness. Using vector form of Boolean variables and applying a generalized matrix multiplication called the semi-tensor product (STP), each Boolean function can be equivalently converted into a matrix expression. Based on this, the identification problem is reformulated as an integer linear programming problem to reveal the system matrix of Boolean model in a computationally efficient way, whose dynamics are consistent with the important dynamics captured in the data. By using prior knowledge the number of candidate functions can be reduced during the inference. Hence, identification incorporating prior knowledge is especially suitable for the case of small size time series data and data without sufficient stimuli. The proposed approach is illustrated with the help of a biological model of the network of oxidative stress response. Conclusions: The combination of efficient reformulation of the identification problem with the possibility to incorporate various types of prior knowledge enables the application of computational model inference to systems with limited amount of time series data. The general applicability of this methodological approach makes it suitable for a variety of biological systems and of general interest for biological and medical research.

Computing preimages of Boolean networks

Provably Bounding Neural Network Preimages

Provable Preimage Under-Approximation for Neural Networks (Full Version)

On the Complexity of Neural Computation in Superposition

On Pinning Reachability of Probabilistic Boolean Control Networks

The inverse problem for neural networks

Identification of Boolean Networks Using Premined Network Topology Information.

An Approximation Method for Solving the Steady-State Probability Distribution of Probabilistic Boolean Networks

Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge

Analysis of Boolean Networks Using an Optimized Algorithm of Structure Matrix Based on Semi-tensor Product

Binary Higher Order Neural Networks for Realizing Boolean Functions.

On Bounding the Behavior of Neurons

Computational core and fixed-point organisation in Boolean networks

Boolean Networks Design by Genetic Algorithms

Algorithms for Finding Small Attractors in Boolean Networks

From Boolean to probabilistic Boolean networks as models of genetic regulatory networks

Limits of Preprocessing

The Sum-Product Theorem: A Foundation for Learning Tractable Models

Mathematical Models of Computation in Superposition

Construction of Probabilistic Boolean Networks from a Prescribed Transition Probability Matrix: A Maximum Entropy Rate Approach

Towards Narrowing the Generalization Gap in Deep Boolean Networks