Compositional Abstraction Error

less than 1 minute read


In previous posts we have seen how to define abstractions between causal models, and how to compute automatically the abstraction error when switching from a micromodel to a macromodel.

In this notebook we consider an important theoretic property of abstraction, that is, composition of abstractions. Specifically, we re-implement the examples provided in a paper on the compositionally of abstraction, and we empirically show that a proper choice of the metric to estimate the abstraction error guarantees a bound on the abstraction error of a composed abstraction.

Notebook here