Skip to Main content Skip to Navigation
Conference papers

Automatic synthesis of boolean networks from biological knowledge and data

Athénaïs Vaginay 1, 2 Taha Boukhobza 1 Malika Smaïl-Tabbone 2
2 CAPSID - Computational Algorithms for Protein Structures and Interactions
Inria Nancy - Grand Est, LORIA - AIS - Department of Complex Systems, Artificial Intelligence & Robotics
Abstract : Boolean Networks (BNs) are a simple formalism used to study complex biological systems when the prediction of exact reaction times is not of interest. They play a key role to understand the dynamics of the studied systems and to predict their disruption in case of complex human diseases. BNs are generally built from experimental data and knowledge from the literature, either manually or with the aid of programs. The automatic synthesis of BNs is still a challenge for which several approaches have been proposed. In this paper, we propose ASKEeD-BN, a new approach based on Answer-Set Programming to synthesise BNs constrained in their structure and dynamics. By applying our method on several well-known biological systems, we provide empirical evidence that our approach can construct BNs in line with the provided constraints. We compare our approach with three existing methods (REVEAL, Best-Fit and caspo-TS) and show that our approach synthesises a small number of BNs which are covering a good proportion of the dynamical constraints, and that the variance of this coverage is low.
Document type :
Conference papers
Complete list of metadata
Contributor : Athénaïs Vaginay <>
Submitted on : Thursday, June 10, 2021 - 1:54:06 PM
Last modification on : Tuesday, June 15, 2021 - 3:01:41 AM


Files produced by the author(s)


  • HAL Id : hal-03256693, version 1



Athénaïs Vaginay, Taha Boukhobza, Malika Smaïl-Tabbone. Automatic synthesis of boolean networks from biological knowledge and data. International Conference of Optimization and Learning, OLA '2021, Jun 2021, Catane, Italy. ⟨hal-03256693⟩



Record views


Files downloads