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

DOI10.1007/978-3-030-97454-1_4zbMATH Open1524.68349arXiv2107.10159OpenAlexW3186753874MaRDI QIDQ6166547

Gabriela Reyes, Leopoldo Bertossi

Publication date: 3 August 2023

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

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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The DLV system for knowledge representation and reasoning
• Computable Functions in ASP: Theory and Implementation
• On the implementation of the probabilistic logic programming language ProbLog
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Probabilistic (logic) programming concepts
• Probabilistic reasoning with answer sets
• Programming with non-determinism in deductive databases
• From causes for database queries to repairs and model-based diagnosis and back
• Statistical Relational Artificial Intelligence: Logic, Probability, and Computation
• An ASP-based approach to counterfactual explanations for classification

Cited In (1)

• An ASP-based approach to counterfactual explanations for classification

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)