paper-with-me

Papers

On Logic-Based Explainability with Partially Specified Inputs

2023-06-27 · Ramón Béjar, António Morgado, Jordi Planes, Joao Marques-Silva

In the practical deployment of machine learning (ML) models, missing data represents a recurring challenge. Missing data is often addressed when training ML models. But missing data also needs to be addressed when deciding predictions and when explaining those predictions. Missing data represents an opportunity to partially specify the inputs of the prediction to be explained. This paper studies the computation of logic-based explanations in the presence of partially specified inputs. The paper shows that most of the algorithms proposed in recent years for computing logic-based explanations can be generalized for computing explanations given the partially specified inputs. One related result is that the complexity of computing logic-based explanations remains unchanged. A similar result is proved in the case of logic-based explainability subject to input constraints. Furthermore, the proposed solution for computing explanations given partially specified inputs is applied to classifiers obtained from well-known public datasets, thereby illustrating a number of novel explainability use cases.

📄 PDF Abstract BibTeX arXiv:2306.15803

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Robust Control of Partially Specified Boolean Networks

2022-02-27 · Luboš Brim, Samuel Pastva, David Šafránek, Eva Šmijáková

Regulatory networks (RNs) are a well-accepted modelling formalism in computational systems biology. The control of RNs is currently receiving a lot of attention because it provides a computational basis for cell reprogra…

Neuro-Symbolic AI: Explainability, Challenges, and Future Trends

2024-11-07 · Xin Zhang, Victor S. Sheng

Explainability is an essential reason limiting the application of neural networks in many vital fields. Although neuro-symbolic AI hopes to enhance the overall explainability by leveraging the transparency of symbolic le…

Prediction

Point-Based Methods for Model Checking in Partially Observable Markov Decision Processes

2020-01-11 · Maxime Bouton, Jana Tumova, Mykel J. Kochenderfer

Autonomous systems are often required to operate in partially observable environments. They must reliably execute a specified objective even with incomplete information about the state of the environment. We propose a me…

Comparing Post-Hoc Explainable AI Methods for Interpreting Black-Box EEG Models in Depression Detection

2026-05-27 · Antonia Šarčević, Nikolina Frid arxiv

Recent advances in deep learning have enabled increasingly accurate electroencephalography (EEG)-based classification of Major Depressive Disorder (MDD), but the decision-making processes of high-capacity models remain d…

Feature Importance

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability

2024-04-12 · Frank J. Jiang, Kaj Munhoz Arfvidsson, Chong He, Mo Chen 외

In this paper, we present an approach for guaranteeing the completion of complex tasks with cyber-physical systems (CPS). Specifically, we leverage temporal logic trees constructed using Hamilton-Jacobi reachability anal…