Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification

DOI10.1007/978-3-030-97454-1_4MaRDI QIDQ6166547zbMATH OpenOpenAlexFDO

Authors Leopoldo Bertossi, Gabriela Reyes

Publication date 3 August 2023

Published in Inductive Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.10159

Mathematics Subject Classification ID

Classification and discrimination; cluster analysis (statistical aspects) (62H30) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Abstract: We describe how answer-set programs can be used to declaratively specify counterfactual interventions on entities under classification, and reason about them. In particular, they can be used to define and compute responsibility scores as attribution-based explanations for outcomes from classification models. The approach allows for the inclusion of domain knowledge and supports query answering. A detailed example with a naive-Bayes classifier is presented.

Recommendations

• An ASP-based approach to counterfactual explanations for classification
• Score-based explanations in data management and machine learning: an answer-set programming approach to counterfactual analysis
• A Symbolic Approach for Counterfactual Explanations
• Contrastive explanations for answer-set programs

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 44384 (Why is no real title available?)
• scientific article; zbMATH DE number 1179314 (Why is no real title available?)
• scientific article; zbMATH DE number 7102019 (Why is no real title available?)
• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• An ASP-based approach to counterfactual explanations for classification
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Computable Functions in ASP: Theory and Implementation
• From causes for database queries to repairs and model-based diagnosis and back
• On the implementation of the probabilistic logic programming language ProbLog
• Probabilistic (logic) programming concepts
• Probabilistic reasoning with answer sets
• Programming with non-determinism in deductive databases
• Statistical relational artificial intelligence: logic, probability, and computation
• The DLV system for knowledge representation and reasoning

Cited in

(2)

• An ASP-based approach to counterfactual explanations for classification
• Score-based explanations in data management and machine learning: an answer-set programming approach to counterfactual analysis

This page was built for publication: Answer-set programs for reasoning about counterfactual interventions and responsibility scores for classification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6166547)