paper-with-me

홈 › Papers

Abduction-Based Explanations for Machine Learning Models

2018-11-26 · Alexey Ignatiev, Nina Narodytska, Joao Marques-Silva

The growing range of applications of Machine Learning (ML) in a multitude of settings motivates the ability of computing small explanations for predictions made. Small explanations are generally accepted as easier for human decision makers to understand. Most earlier work on computing explanations is based on heuristic approaches, providing no guarantees of quality, in terms of how close such solutions are from cardinality- or subset-minimal explanations. This paper develops a constraint-agnostic solution for computing explanations for any ML model. The proposed solution exploits abductive reasoning, and imposes the requirement that the ML model can be represented as sets of constraints using some target constraint reasoning system for which the decision problem can be answered with some oracle. The experimental results, obtained on well-known datasets, validate the scalability of the proposed approach as well as the quality of the computed solutions.

📄 PDF Abstract BibTeX arXiv:1811.10656

Code (1)

alexeyignatiev/xplainer

Tasks

BIG-bench Machine Learning

Similar Papers 제목 키워드 기반

Complexity of Faceted Explanations in Propositional Abduction

2025-07-20 · Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist, Johannes K. Fichte arxiv

Abductive reasoning is a popular non-monotonic paradigm that aims to explain observed symptoms and manifestations. It has many applications, such as diagnosis and planning in artificial intelligence and database updates.…

Propositional Abduction with Implicit Hitting Sets

2016-04-27 · Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva

Logic-based abduction finds important applications in artificial intelligence and related areas. One application example is in finding explanations for observed phenomena. Propositional abduction is a restriction of abdu…

Learning Abduction under Partial Observability

2017-11-13 · Brendan Juba, Zongyi Li, Evan Miller

Juba recently proposed a formulation of learning abductive reasoning from examples, in which both the relative plausibility of various explanations, as well as which explanations are valid, are learned directly from data…

valid

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach

2026-01-07 · Sanderson Molick, Vaishak Belle arxiv

The paper introduces a basic logic of knowledge and abduction by extending Levesque logic of only-knowing with an abduction modal operator defined via the combination of basic epistemic concepts. The upshot is an alterna…

Feature Necessity & Relevancy in ML Classifier Explanations

2022-10-27 · Xuanxiang Huang, Martin C. Cooper, Antonio Morgado, Jordi Planes 외

Given a machine learning (ML) model and a prediction, explanations can be defined as sets of features which are sufficient for the prediction. In some applications, and besides asking for an explanation, it is also criti…

Prediction