Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models

#### Контекст Чтобы развить надежные интерпретации для черных-ящиков машинного обучения, необходимо сбалансировать два взаимоисключающих цели: точность и понятность. Объединение этих целей является ключевым для создания доверяемых интерпретаций. Несмотря на развитие многообъективных подходов к синтезу интерпретаций, многие из них не гарантируют парето-оптимальности результатов. Некоторые методы, обеспечивающие такие гарантии, часто сталкиваются с проблемами масштабируемости при исследовании парето-оптимального пространства. Наша мотивация заключается в развитии методологии, которая обеспечивает парето-оптимальные интерпретации, сочетая скорость вычислений с формальными гарантиями. #### Метод Мы предлагаем фреймворк, основанный на локальных гарантиях оптимальности, для более эффективного синтеза интерпретаций. Метод начинается с использования многообъективных методов, таких как Multi-Objective Monte Carlo Tree Search, для синтеза наилучших вариантов интерпретаций в силу точности и понятности. Затем, используя SAT-решатель, мы проверяем локальную оптимальность каждой интерпретации. Этот подход позволяет быстрее искать интерпретации с формальной гарантией оптимальности, чем методы с глобальными гарантиями. Мы используем несколько бенчмарков для сравнения нашего подхода с другими методами, показывая, что наш метод позволяет получить интерпретации, почти идеально соответствующие глобальным гарантиям, но с меньшим временем работы. #### Результаты Мы проводили эксперименты на нескольких наборах данных, включая стандартные бенчмарки для многообъективных интерпретаций. Наши результаты показывают, что фреймворк обеспечивает очень высокую точность и понятность, приближающуюся к результатам методов с глобальными гарантиями. Эксперименты также показывают, что наш подход значительно эффективнее при синтезе интерпретаций в больших пространствах решений. #### Значимость Модель может быть применена в качестве альтернативы глобальным методам синтеза интерпретаций, но с гораздо более высокой масштабируемостью. Она идеально подходит для задач, где требуется быстрое получение интерпретаций и гарантий парето-оптимальности. Наши результаты открывают новые возможности для достижения более высокого уровня доверия к машинным обучению, особенно в приложениях, требующих прозрачности интерпретации. #### Выводы Мы успешно развили метод, который сочетает в себе локальные гарантии оптимальности и многообъективный подход к интерпретациям чер