Search papers, labs, and topics across Lattice.
This paper introduces TimePNS, a novel framework for time-series explanation that distinguishes between sufficient and necessary subsequences influencing a black-box model's predictions. By leveraging Pearl's counterfactual framework, TimePNS intervenes on temporal factors to assess their necessity, refining explanations to highlight only those components critical for maintaining predictions. Experimental results demonstrate that TimePNS significantly enhances the identification of decision-critical subsequences and improves the sufficiency-necessity trade-off compared to existing methods.
TimePNS reveals that many previously identified important subsequences in time-series models are actually spurious, leading to more accurate and reliable explanations.
Faithful explanations of time-series classifiers should identify subsequences that are not only sufficient to preserve a black-box model's prediction, but also necessary for maintaining it. However, existing sufficiency-oriented methods can assign high importance to spurious subsequences that support the prediction without being essential to the model's decision. We introduce \textbf{TimePNS}, a necessity-aware framework for time-series explanation. Inspired by Pearl's counterfactual notion of necessity, TimePNS assesses whether a temporal factor is necessary by intervening on it and measuring whether the original prediction is disrupted. The framework adopts a two-stage design. Stage I learns an identifiable causal generative process together with a sufficiency-oriented explanation mask. Stage II performs counterfactual interventions on temporal factors to derive necessity signals, which supervise a temporal gate that refines the initial explanation by suppressing non-essential components and emphasizing counterfactually necessary ones. Experiments on synthetic and real-world time-series benchmarks show that TimePNS more accurately identifies decision-critical subsequences and consistently improves sufficiency-necessity trade-offs over strong baselines.
