STRIDE: Scalable and Interpretable XAI via Subset-Free Functional Decomposition

2509.09070v1 cs.LG, cs.AI, stat.ML 2025-09-13
Авторы:

Chaeyun Ko

Резюме на русском

## Контекст Сложность объяснения работы искусственного интеллекта (XAI) заключается в увеличении экспоненциальной сложности при осмыслении взаимодействий между входными переменными и выходными значениями модели. Общие подходы XAI, такие как SHAP или LIME, сталкиваются с проблемами, такими как высокая сложность вычислений при рассмотрении множественных подмножеств признаков и компромисс между выразительностью и скоростью. Эти ограничения приводят к необходимости разработки более эффективных и интерпретируемых методов объяснения. ## Метод STRIDE (Scalable and Interpretable XAI via Subset-Free Functional Decomposition) предлагает разделение вклада каждого признака в модель на аналитические компоненты, используя схему ряда Фурье в Reproducing Kernel Hilbert Space (RKHS). Вместо перебора подмножеств, STRIDE использует ориентированный на переменные подход, позволяющий выделять значимые взаимодействия. Эта модель агностична к модели, на основе которой проводится анализ, и обеспечивает как локальные, так и глобальные объяснения. В своей теоретической основе STRIDE основывается на теоремах о топологии, которые поддерживают целостность и точность результатов. ## Результаты В ходе экспериментов на 10 различных табличных датасетах STRIDE демонстрировала высокую точность по сравнению с другими методами XAI. Для оценки вычислительной эффективности показаны скорости расчетов и достигнутое согласие в результатах. Например, на датасете "California Housing" конкурирующие методы работали медленнее, тогда как STRIDE демонстрировала ускорение до 9.7 раз. Была достигнута высокая точность в диапазоне R² от 0.81 до 0.999, а также обнаружены новые возможности диагностики, таких как "компонентное оперирование", для точного измерения вклада конкретных интеракций. ## Значимость STRIDE предлагает новый подход к объяснению работы моделей, который устраняет необходимость в переборе подмножеств признаков, обеспечивая более эффективную работу и высокую точность. Этот метод может быть применен в широком круге областей, включая финансы, медицину и охрану окружающей среды. Он предоставляет новые средства для диагностики моделей, позволяя увидеть, как изменения в определенных интеракциях влияют на результат. Это может помочь сократить время на верификацию и улучшить надежность работы моделей в реальных условиях. ## Выводы STRIDE представляет собой более эффективный и интерпретируемый подход к XAI, который удаляет необходимость в переборе подмножеств признаков и обеспечивает новые возможности диагностики. Он доказал высокую точность и скорость, даже при работе с большими датасетами. Будущие исследования будут сконцентрированы на расширении STRIDE в

Abstract

Most explainable AI (XAI) frameworks face two practical limitations: the exponential cost of reasoning over feature subsets and the reduced expressiveness of summarizing effects as single scalar values. We present STRIDE, a scalable framework that aims to mitigate both issues by framing explanation as a subset-enumeration-free, orthogonal functional decomposition in a Reproducing Kernel Hilbert Space (RKHS). Rather than focusing only on scalar attributions, STRIDE computes functional components f_S(x_S) via an analytical projection scheme based on a recursive kernel-centering procedure, avoiding explicit subset enumeration. In the tabular setups we study, the approach is model-agnostic, provides both local and global views, and is supported by theoretical results on orthogonality and L^2 convergence under stated assumptions. On public tabular benchmarks in our environment, we observed speedups ranging from 0.6 times (slower than TreeSHAP on a small dataset) to 9.7 times (California), with a median approximate 3.0 times across 10 datasets, while maintaining high fidelity (R^2 between 0.81 and 0.999) and substantial rank agreement on most datasets. Overall, STRIDE complements scalar attribution methods by offering a structured functional perspective, enabling novel diagnostics like 'component surgery' to quantitatively measure the impact of specific interactions within our experimental scope.

Ссылки и действия