Answer-Set Programs for Repair Updates and Counterfactual Interventions
We briefly describe -- mainly through very simple examples -- different kinds of answer-set programs with annotations that have been proposed for specifying: database repairs and consistent query answering; secrecy view and query evaluation with them; counterfactual interventions for causality in databases; and counterfactual-based explanations in machine learning.
Code (0)
등록된 구현이 없습니다.
Tasks
counterfactualSimilar Papers 제목 키워드 기반
Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification
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 respons…
ClassificationcounterfactualAn ASP-Based Approach to Counterfactual Explanations for Classification
We propose answer-set programs that specify and compute counterfactual interventions as a basis for causality-based explanations to decisions produced by classification models. They can be applied with black-box models a…
ClassificationcounterfactualGeneral ClassificationReasoning about Counterfactuals and Explanations: Problems, Results and Directions
There are some recent approaches and results about the use of answer-set programming for specifying counterfactual interventions on entities under classification, and reasoning about them. These approaches are flexible a…
ClassificationcounterfactualDeclarative Approaches to Counterfactual Explanations for Classification
We propose answer-set programs that specify and compute counterfactual interventions on entities that are input on a classification model. In relation to the outcome of the model, the resulting counterfactual entities se…
ClassificationcounterfactualGeneral ClassificationSpecifying and Computing Causes for Query Answers in Databases via Database Repairs and Repair Programs
A correspondence between database tuples as causes for query answers in databases and tuple-based repairs of inconsistent databases with respect to denial constraints has already been established. In this work, answer-se…
Attribute