---
title: Weak Abductive Explanation (WAXp)
url: https://www.emergentmind.com/topics/weak-abductive-explanation-waxp
type: topic
---

# Weak Abductive Explanation (WAXp)

Weak Abductive Explanation (WAXp) denotes a weak, non-minimal notion of abductive explanation whose precise formal meaning depends on the framework in which it is used. In logic-based XAI, the common core is sufficiency: a set of hypotheses or features is a WAXp when fixing them is enough to preserve the observed decision or class, without yet requiring subset-minimality. In the modal-logic account of classifier explanation, the “weak” aspect is not a separate explanatory primitive but the use of the weaker proof system \(WBCL\) for countably infinite feature vocabularies; in later formal-XAI work, “WeakAXp” is the explicit non-minimal base notion from which minimal abductive explanations (AXps) are obtained by subset minimization [2105.14452] [2312.11831] [2508.11959].

## 1. Core notion and terminological scope

A direct formalization of weak abductive explanation appears in the feature-based setting of classifier explanation. Given an instance \((\mathbf{v}, c)\) with \(\kappa(\mathbf{v}) = c\), a set of features \(X \subseteq F\) is a weak abductive explanation precisely when fixing those features to their values in \(\mathbf{v}\) suffices to force the prediction \(c\) for all completions:
\[
WeakAXp(X) := \forall \mathbf{x}\in \mathbf{F}.\; \left[\bigwedge_{i\in X}(x_i = v_i)\right] \rightarrow (\kappa(\mathbf{x}) = c).
\]
An abductive explanation, or \(AXp\), is then a subset-minimal weak AXp:
\[
AXp(X) := WeakAXp(X) \land \forall X' \subsetneq X.\; \neg WeakAXp(X'),
\]
and, by monotonicity of \(WeakAXp\), equivalently
\[
AXp(X) := WeakAXp(X) \land \forall j\in X.\; \neg WeakAXp(X\setminus\{j\}).
\]
This makes the distinction exact: WAXp is sufficiency without minimality; AXp is minimal sufficiency [2312.11831].

The same pattern is used in a more general explanation problem \(E = (M,(v,q))\), where \(M\) is either a classification or regression model, \(F=\{1,\dots,m\}\) is the feature set, and \(v\in \mathcal{F}\) is the target input. The similarity predicate \((x;E)\) is defined by
\[
(x;E) := [\kappa(x)=\kappa(v)]
\]
for classification, and by
\[
(x;E) := [|\rho(x)-\rho(v)|\le \delta]
\]
for regression. A weak abductive explanation is then any \(S\subseteq F\) such that
\[
\forall(x\in \mathcal{F}).\left(\bigwedge_{i\in S} x_i=v_i\right)\limply (x;E),
\]
while
\[
AXp(S;E) := WAXp(S;E)\land \forall(t\in S).\neg WAXp(S\setminus\{t\};E).
\]
In this formulation, WAXp is the sufficient set of fixed features and AXp is the subset-minimal sufficient set [2508.11959].

The modal-logic framework for explanations in classifier systems uses a different presentation. There, weak abductive explanation is not introduced as a separate primitive symbol “WAXp”; rather, abductive explanation is defined in the object language, and the “weak” qualifier is tied to the weaker logic \(WBCL\), the infinite-variable counterpart of \(BCL\) [2105.14452]. This suggests that “WAXp” is best understood as a family resemblance term across formal frameworks rather than a universally fixed syntactic operator.

## 2. Ceteris paribus modal formalization

The unified logical framework for classifier explanations is based on the modal language \(\mathcal{L}(\mathit{Atm})\), where \(\mathit{Atm}_0\) is a set of atomic propositions for input features and \(Dec=\{t c : c\in Val\}\) are decision atoms. Formulas are generated by
\[
\varphi ::= p \mid t c \mid \neg\varphi \mid \varphi\wedge\varphi \mid [X]\varphi,
\]
with \(p\in \mathit{Atm}_0\) and \(X\subseteq \mathit{Atm}_0\) finite. The intended reading of \([X]\varphi\) is that \(\varphi\) holds after arbitrary perturbations of all features not in \(X\), while the features in \(X\) are kept fixed. Semantically, for a classifier model \(C=(S,f)\) with states \(s\subseteq \mathit{Atm}_0\),
\[
(C,s)\models [X]\varphi \quad \Longleftrightarrow \quad \forall s'\in S,\; \text{if } s\cap X=s'\cap X \text{ then } (C,s')\models \varphi.
\]
This is the paper’s ceteris paribus modality: the value of the features in \(X\) is held constant, while everything else may vary [2105.14452].

Within this language, abductive explanation is defined via prime implicants. For a term \(\lambda\) and a decision value \(c\), “\((\lambda,c)\) is a prime implicant” is introduced by the abbreviation
\[
(\lambda,c) \;=_{\mathrm{def}\; [\, \lambda \to (t c \wedge \bigwedge_{p\in Atm(\lambda)} \langle Atm(\lambda)\setminus\{p\}\rangle \neg t c )\,].
\]
The actualized abductive explanation is
\[
(\lambda,c) \;=_{\mathrm{def}\; \lambda \wedge (\lambda,c).
\]
Equivalently,
\[
\models_{\mathbf{CM} \Big((\lambda,c)\leftrightarrow \big(\lambda \wedge [Atm(\lambda)]t c \wedge \bigwedge_{p\in Atm(\lambda)} \langle Atm(\lambda)\setminus\{p\}\rangle \neg t c \big)\Big).
\]

This equivalence makes the explanatory structure explicit. The conjunct \([Atm(\lambda)]t c\) states sufficiency: if the features occurring in \(\lambda\) are fixed, the decision \(c\) is invariant under arbitrary perturbations of all other features. The remaining conjuncts state minimality: each literal in \(\lambda\) is needed, because if one of them is allowed to vary while the others are fixed, a state where \(t c\) fails becomes reachable. In this framework, abductive explanation is therefore a minimal sufficient reason expressed by modal invariance [2105.14452].

## 3. Weakness, minimality, existence, and computational behavior

The distinction between strong and weak abductive settings in the modal framework is determined by the cardinality of the feature vocabulary. When \(\mathit{Atm}_0\) is finite, the logic is \(BCL\); when \(\mathit{Atm}_0\) is countably infinite, the logic is \(WBCL\). The latter is literally \(BCL\) minus the finitary axiom
\[
\bigwedge_{Y \subseteq Atm_0}\Big((cn_Y^{Atm_0}\wedge t c)\to [\emptyset](cn_Y^{Atm_0}\to t c)\Big),
\]
which cannot be written finitarily when the feature set is infinite. The paper proves soundness and completeness of \(BCL\) for classifier models in the finite-variable case, and soundness and completeness of \(WBCL\) for classifier models in the infinite-variable case [2105.14452].

This weakening has a substantive effect on existence. In finite settings, every Boolean classifier has a prime implicant, hence an abductive explanation exists. In the infinite-variable framework, this fails: if \(\mathit{Atm}_0\) is countably infinite and \(|Val|>1\), there exist models with no abductive explanation at a state. On the positive side, if the classifier is \(X\)-definite for some finite \(X\), then every state admits an abductive explanation:
\[
C\text{ is }X\text{-definite} \;\Rightarrow\; \forall s\in S,\;\exists \lambda\in Term\text{ such that } (C,s)\models (\lambda,f(s)).
\]
Accordingly, in the \(WBCL\) setting WAXp-style explanation is present, but its existence is conditional rather than automatic [2105.14452].

In the feature-based formal-XAI setting, weak abductive explanation is monotone: if a set is weak, then all supersets are weak. That monotonicity is exactly why minimality can be checked by one-feature deletion:
\[
AXp(X) := WeakAXp(X) \land \forall j\in X.\; \neg WeakAXp(X\setminus\{j\}).
\]
A common misconception is therefore to identify WAXp with AXp. The formal definitions rule this out: WAXp is the monotone sufficient base notion, whereas AXp is the subset-minimal specialization [2312.11831].

The computational profile also changes with the underlying logic. For the full language \(\mathcal{L}(\mathit{Atm})\), satisfiability over classifier models is polynomial-time when \(\mathit{Atm}_0\) is finite and fixed; when \(\mathit{Atm}_0\) is countably infinite, satisfiability becomes NEXPTIME-complete. The fragment using only the universal modality \([\emptyset]\) is NP-complete in the infinite-variable case. These results matter indirectly for WAXp because abductive explanation formulas are expressed in the same language [2105.14452].

## 4. Probabilistic generalizations and local minimality

Probabilistic abductive explanation extends the weak abductive pattern by relaxing universal preservation to thresholded conditional preservation. A weak probabilistic abductive explanation is a feature set \(X\) such that
\[
WeakPAXp(X) := \Pr_{\mathbf{x}\big(\kappa(\mathbf{x}) = c \mid \mathbf{x}_X = \mathbf{v}_X\big) \ge \Tau,
\]
with the conditional probability written explicitly as
\[
\Pr_{\mathbf{x}\big(\kappa(\mathbf{x}) = c \mid \mathbf{x}_X = \mathbf{v}_X\big) = \frac{ |\{\mathbf{x}\in \mathbf{F} : \kappa(\mathbf{x})=c \land (\mathbf{x}_X=\mathbf{v}_X)\}| }{ |\{\mathbf{x}\in \mathbf{F} : (\mathbf{x}_X=\mathbf{v}_X)\}| }.
\]
A \(PAXp\) is then the subset-minimal weak \(PAXp\):
\[
PAXp(X) := WeakPAXp(X)\land \forall X'\subsetneq X.\; \neg WeakPAXp(X').
\]
The paper emphasizes that, unlike \(WeakAXp\), \(WeakPAXp\) is not monotone; fixing more features can increase or decrease the relevant conditional probability [2312.11831].

Because of this non-monotonicity, local one-feature deletion is no longer equivalent to subset minimality. The proposed relaxation is the locally-minimal probabilistic abductive explanation:
\[
LmPAXp(X) := WeakPAXp(X) \land \forall j\in X.\; \neg WeakPAXp(X\setminus\{j\}).
\]
For classical AXps, local minimality and subset minimality coincide due to monotonicity; for probabilistic explanations they do not necessarily coincide. There may therefore exist locally minimal \(PAXp\)s that are not subset-minimal \(PAXp\)s. The paper treats \(LmPAXp\) as a practical surrogate for exact \(PAXp\) computation [2312.11831].

The computational method is deletion-based. `DelLmPAXp` starts with either all features \(S=F\) or a known AXp \(S=X\), iteratively attempts feature removal, and invokes an approximation subroutine `approxCount` to test the weak probabilistic condition. Two implementations are described: approximate model counting using ApproxMC / ApproxMCPB, and Monte Carlo sampling with Hoeffding/Chernoff-style guarantees. The approximate counting approach yields
\[
\left[\frac{\eta}{1+\epsilon} \le \eta^\ast \le (1+\epsilon)\eta\right] \ge 1-\delta,
\]
while the sampling approach uses
\[
N \ge \frac{1}{2\epsilon^2}\log\left(\frac{2}{\delta}\right).
\]
This line of work preserves the WAXp idea of sufficiency while replacing universal certainty by a probability threshold and exact minimality by a locally checkable approximation [2312.11831].

## 5. Contrastive duality, adversarial examples, and feature attribution

Abductive explanation is sharply distinguished from contrastive explanation in the modal classifier framework. Contrastive explanation is defined by
\[
(\lambda,c) \;=_{\mathrm{def}\; \lambda \wedge \langle \mathit{Atm}_0\setminus \mathit{Atm}(\lambda)\rangle \neg t c \wedge \bigwedge_{p\in Atm(\lambda)} [(\mathit{Atm}_0\setminus Atm(\lambda))\cup\{p\}]\, t c.
\]
The paper proves that contrastive explanation implies a counterfactual conditional statement,
\[
\models_{\mathbf{CM} (\lambda,c)\rightarrow \Big(t c \wedge (\overline{\lambda}\Rightarrow \neg t c)\Big),
\]
and, for literals under completeness, also proves the converse characterization
\[
\models_{\mathbf{CM} \mathsf{Comp}(Atm_0)\to \Big((l,c)\leftrightarrow (t c \wedge (\neg l\Rightarrow \neg t c))\Big).
\]
In the paper’s wording, AXp answers “why?” and CXp answers “why not?”. WAXp belongs to the sufficiency side of this divide, whereas contrastive explanation is about minimal decision-changing perturbation [2105.14452].

A later formalization makes the duality operational through adversarial examples. Around a target input \(v\), an adversarial example is
\[
AEx(x;E) := \left(\|x-v\|_{0}\le\epsilon\right)\land \neg(x;E).
\]
A weak contrastive explanation is a set \(S\subseteq F\) such that
\[
\exists(x\in \mathcal{F}).\left(\bigwedge_{i\in F\setminus S} x_i=v_i\right)\land \neg(x;E),
\]
and a \(CXp\) is the subset-minimal \(WCXp\):
\[
CXp(S;E) := WCXp(S;E)\land \forall(t\in S).\neg WCXp(S\setminus\{t\};E).
\]
The paper states the duality in three equivalent forms: a WAXp is a hitting set of the \(CXp\)s; equivalently, it hits every minimal contrastive explanation; equivalently again, it excludes all adversarial examples in the local neighborhood [2508.11959].

This duality underlies a recent use of WAXp in rigorous feature attribution. Such methods typically exploit WAXp as the characteristic function, but the paper argues that this neglects the information carried by non-WAXp sets. To incorporate graded exclusion of adversarial examples, it defines the \(CXp\)-Forest
\[
r(S;E) = \frac{1}{n}\times \sum_{Y_i\in C(E)} ITE(S\cap Y_i\neq\emptyset,\, w_i,\, 0),
\]
and then derives Shapley-like and Banzhaf-like scores:
\[
Fs^S(i) := Sc^S(i;E_r,r), \qquad Fs^B(i) := Sc^B(i;E_r,r).
\]
A central conceptual move is thus to start from WAXp as the sufficient-set notion, then replace the binary WAXp indicator by a characteristic function quantifying how many adversarial examples a coalition excludes [2508.11959].

## 6. Related refinements and broader logical settings

Several neighboring lines of work refine or weaken abductive explanation along dimensions that are orthogonal to WAXp itself. One such dimension is arbitrariness. In abductive logic programming with integrity constraints, the degree of arbitrariness \(\delta(\Delta)\) is defined as the maximum number of pairwise independent replacement functions preserving explanatory status; an explanation is constrained exactly when \(\delta(\Delta)=0\). The paper explicitly states that minimum arbitrariness is orthogonal to subset minimality and cardinality minimality, so it supplies a preference criterion for weak explanations rather than a replacement for them [1405.2494].

Another direction studies abduction under inconsistency. In ABox abduction under repair semantics, a brave-hypothesis makes the observation true in some repair, while an AR-hypothesis makes it true in all repairs. The paper introduces the notion of conflict-confining hypotheses, defined by preservation of the conflict sets of the original inconsistent knowledge base. This gives a weak-explanation-like refinement in which the hypothesis need not restore global consistency, but should not create new conflicts [2507.21955].

Paraconsistent abduction in the Belnap–Dunn setting generalizes explanation to inconsistent theories without repairs. In \(BD_\circ\), formulas \(\circ\phi\) express that the information about \(\phi\) is reliable; in \(BD_\triangle\), formulas \(\triangle\phi\) express that there is information that \(\phi\) is true. Explanations are terms satisfying entailment and non-triviality, and the framework studies both \(\models_{BD}\)-minimal and theory-minimal solutions. This is not WAXp terminology, but it provides a formally weaker and non-classical explanatory environment [2408.07287].

Contextual abductive reasoning under weak completion semantics extends explanation with side-effects and inspection points. It introduces \(inspect(A)\) and \(inspect_\neg(A)\) as consumer-like abducibles and defines necessary and possible contextual side-effects, contestable contextual side-effects, contextual relevant consequences, and jointly supported contextual relevant consequences. This line of work does not define WAXp, but it shows how weak explanation can be enriched by contextual dependence between explanations [1405.3713].

A different neighboring development appears in ontology-mediated query answering. For negative query answers in DL-Lite, explanations are ABox additions \(E\) such that \((T,A\cup E)\) is consistent and the previously missing tuple becomes a certain answer. The framework studies arbitrary, subset-minimal, and cardinality-minimal explanations, showing that weak explanation can also be understood as non-minimal abductive completion of an ontology-query pair [1402.0575].

Across these frameworks, the recurring invariant is that WAXp names sufficiency prior to minimality, but the source of the “weakness” differs: weaker axiomatics in \(WBCL\), non-minimal feature fixing in formal XAI, thresholded sufficiency in probabilistic abduction, or tolerance of inconsistency in repair-based and paraconsistent reasoning. This suggests that WAXp is less a single formal object than a stable explanatory pattern: preserve the target outcome under an admissible space of variations, and postpone stronger optimality criteria to a later stage.

Source: https://www.emergentmind.com/topics/weak-abductive-explanation-waxp