Provable Guarantees on the Robustness of Decision Rules to Causal
  Interventions
  Robustness of decision rules to shifts in the data-generating process is
crucial to the successful deployment of decision-making systems. Such shifts
can be viewed as interventions on a causal graph, which capture (possibly
hypothetical) changes in the data-generating process, whether due to natural
reasons or by the action of an adversary. We consider causal Bayesian networks
and formally define the interventional robustness problem, a novel model-based
notion of robustness for decision functions that measures worst-case
performance with respect to a set of interventions that denote changes to
parameters and/or causal influences. By relying on a tractable representation
of Bayesian networks as arithmetic circuits, we provide efficient algorithms
for computing guaranteed upper and lower bounds on the interventional
robustness probabilities. Experimental results demonstrate that the methods
yield useful and interpretable bounds for a range of practical networks, paving
the way towards provably causally robust decision-making systems.
