Local and Global Explanation Methods

• Local and global explanation methods are formal approaches that decompose model predictions into individual feature contributions and interaction effects for enhanced interpretability.
• They link partial dependence plots and interventional SHAP values through an ANOVA-style functional decomposition, clarifying both local and global model behavior.
• They support fairness interventions by enabling the precise removal of protected feature influences, thereby isolating and mitigating bias in model predictions.

Local and global explanation methods are formal approaches used in interpretable machine learning to elucidate how complex models make decisions. Local explanation methods characterize the prediction for an individual instance, typically by attributing contributions to features relevant for that point. Global explanation methods aim to summarize how a model behaves on average, across the entire input domain, by decomposing its prediction function or aggregating local mechanisms. The distinction, and the methodologies that bridge it, are central to modern explainable AI, spanning regression, classification, time-series, text, and vision domains.

1. Formal Decomposition and Marginal Identification

Functional decomposition is a rigorous approach to unify local and global explanation methods by expressing any prediction function $f : \mathbb{R}^d \to \mathbb{R}$ as a sum over all feature subsets:

$f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$

Here, $f_\emptyset=f_0$ (intercept), $f_{\{k\}}(x_k)$ encodes the main effect of feature $k$, and $f_S(x_S)$ for $|S|\ge2$ encodes pure interactions. This ANOVA-style expansion is not unique unless an additional identification constraint is imposed.

The marginal-identification constraint requires that for all $S$,

$$\sum_{T: T\cap S \neq \emptyset} \int f_T(x_T) p_S(x_S) dx_S = 0$$

where $p_S$ is the marginal density of $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$0. This uniquely pins down each $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$1 via Möbius inversion:

$f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$2

This identification recovers core local and global quantities. Specifically, for any singleton $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$3, the partial dependence plot (PDP) coincides with $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$4, while interventional SHAP values use weighted sums over main effect and interaction components (Hiabu et al., 2022).

2. Relationships with Core Attribution Methods

2.1 Partial Dependence and Feature Effects

The partial dependence plot for $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$5 is:

$f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$6

Under marginal identification, this simplifies to $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$7. For any feature subset $f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$8,

$f(x) = \sum_{S \subseteq \{1,\ldots,d\}} f_S(x_S)$9

2.2 Interventional SHAP Values

The interventional SHAP value for $f_\emptyset=f_0$0:

$f_\emptyset=f_0$1

Each interaction term $f_\emptyset=f_0$2 that involves $f_\emptyset=f_0$3 is apportioned $f_\emptyset=f_0$4 of its value to feature $f_\emptyset=f_0$5 (Hiabu et al., 2022). This recasting connects Shapley values, previously motivated through game theory, to a functional expansion, exposing the direct tie between local and global explanations.

2.3 Feature Importance Measures

Standard SHAP importance $f_\emptyset=f_0$6 mixes main and interaction effects. The decomposition enables refined importance measures:

$f_\emptyset=f_0$7

For order separation,

$f_\emptyset=f_0$8

3. Algorithms for Exact and Approximate Functional Decomposition

The number of components $f_\emptyset=f_0$9 is generally exponential in $f_{\{k\}}(x_k)$0, but many machine learning models admit low-dimensional base learners (e.g., tree ensembles with interaction order $f_{\{k\}}(x_k)$1). For such models, exact functional decomposition is feasible:

• For each tree, identify the split set $f_{\{k\}}(x_k)$2.
• For each $f_{\{k\}}(x_k)$3, recursively compute $f_{\{k\}}(x_k)$4—the marginal tree value as an expectation over unselected features.
• For each $f_{\{k\}}(x_k)$5, assemble $f_{\{k\}}(x_k)$6 from $f_{\{k\}}(x_k)$7 via signed sums.
• For XGBoost, Algorithm 3 describes efficient aggregation via $f_{\{k\}}(x_k)$8 tables; for random planted forests, grid-based marginals suffice.

Complexity is $f_{\{k\}}(x_k)$9 for $k$0 trees of interaction-order $k$1 and $k$2 points (Hiabu et al., 2022).

4. Post-hoc De-biasing and Fairness Interventions

Bias removal targeting protected features relies on the additive decomposition. Consider $k$3 as a block of features (e.g., gender) to eliminate from the model:

$k$4

Thus, forming a debiased predictor entails simply dropping every component $k$5 with $k$6 from the sum. This approach removes both direct and indirect bias via protected features (Hiabu et al., 2022).

5. Key Experimental Results: Fidelity and Separation of Effects

Empirical studies verify the nuances of functional decomposition:

• Toy problems: For $k$7 with correlated features, standard interventional SHAP may mask main effects due to cancellation. Decomposition yields distinct main/interaction components $k$8, $k$9, $f_S(x_S)$0, which can be inspected separately.
• Real data: On bike-sharing, decomposing fitted XGBoost reveals strong interaction terms (e.g., hour$f_S(x_S)$1workingday) that standard SHAP summary plots cannot separate.
• Feature importance simulation: When interactions involve specific features (e.g., $f_S(x_S)$2), the decomposed importances precisely attribute effects by order.
• De-biasing: When retraining on a subset of unprotected features, standard refitting fails to remove indirect bias. Decomposition allows rigorous elimination, as shown on simulated salary data and UCI Adult.

6. Integration with Broader Explanation Frameworks

Functional decomposition under marginal identification creates a mathematical bridge between local and global explanations, encompassing:

• Local methods: SHAP, LIME, IG (Integrated Gradients) when interpreted via instance-level functional expansions (Tan et al., 2018, Schrouff et al., 2021).
• Global surrogates: Partial dependence plots, additive global explanations, distilled student models (Tan et al., 2018).
• Hybrid local-to-global: Aggregations and hierarchical clustering approaches that build global rules or proxies from local surrogates (Setzu et al., 2021, Seppäläinen et al., 14 Feb 2025, Ramamurthy et al., 2020, Visani et al., 2024).
• Algorithmic transparency: Accessible for exact calculation in low-dimensional/ensemble models, and compatible with rule extraction via logic programming (Takemura et al., 2024).

7. Practical Implications and Trade-offs

This unification addresses critical needs in explainable AI:

• Separates out main/interaction effects so practitioners can diagnose local anomalies, interaction-induced bias, or global functional structure.
• Enables robust feature importance assessments not confounded by interaction-induced cancellation.
• Provides actionable pipelines for post-hoc fairness interventions by component removal, rather than ambiguous retraining.
• Offers scalable algorithms amenable to tree ensembles and structured models.

The key limitation remains the exponential scaling of decomposition with dimension $f_S(x_S)$3 for general black-box models absent low-order structure. Approximate methods, surrogates, and rule-based reductions remain essential for scalability (Seppäläinen et al., 14 Feb 2025, Setzu et al., 2021).

---

In summary, local and global explanation methods are formalized and unified by functional decomposition with marginal identification constraints. This framework rigorously subsumes interventional SHAP, partial dependence, feature effect curves, and enables principled algorithms for bias reduction and feature importance. Empirical findings demonstrate increased fidelity, interpretability, and robustness, particularly for models and domains with rich interaction structures (Hiabu et al., 2022).