Causal reasoning on Boolean control networks based on abduction: theory and application to Cancer drug discovery.

Complex diseases such as Cancer or Alzheimer's are caused by multiple molecular perturbations leading to pathological cellular behavior. However, the identification of the disease-induced molecular perturbations and the subsequent development of efficient therapies are challenged by the complexity of the genotype-phenotype relationship. Accordingly, a key issue is to develop frameworks relating the molecular perturbations and drug effects to their consequences on cellular phenotypes. Such framework aims at identifying the sets of causal molecular factors leading to phenotypic reprogramming. In this article, we propose a theoretical framework, called Boolean Control Networks, where disease-induced molecular perturbations and drug actions are seen as topological perturbations/actions on molecular networks leading to cell phenotype reprogramming. We present a new method using abductive reasoning principles inferring the minimal causal topological actions leading to an expected behavior at stable state. Then, we compare different implementation of the algorithm and finally, show a proof-of-concept of the approach on a model of network regulating the proliferation/apoptosis switch in breast cancer by automatically discovering driver genes and their synthetic lethal drug target partner.