paper-with-me

홈 › Papers

Counterfactual Generation with Answer Set Programming

2024-02-06 · Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar, Gopal Gupta

Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail approval, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might also desire explanations to understand why a decision was made. Ethical and legal considerations may further require informing the individual of changes in the input attribute that could be made to produce a desirable outcome. This paper focuses on the latter problem of automatically generating counterfactual explanations. We propose a framework Counterfactual Generation with s(CASP) (CFGS) that utilizes answer set programming (ASP) and the s(CASP) goal-directed ASP system to automatically generate counterfactual explanations from rules generated by rule-based machine learning (RBML) algorithms. In our framework, we show how counterfactual explanations are computed and justified by imagining worlds where some or all factual assumptions are altered/changed. More importantly, we show how we can navigate between these worlds, namely, go from our original world/scenario where we obtain an undesired outcome to the imagined world/scenario where we obtain a desired/favourable outcome.

📄 PDF Abstract BibTeX arXiv:2402.04382

Code (0)

등록된 구현이 없습니다.

Tasks

AttributecounterfactualDecision MakingNavigate

Methods 이 논문이 사용한 방법론

SET Dynamic Sparse Training method where weight mask is updated randomly periodically

Similar Papers 제목 키워드 기반

Counterfactual Explanation Generation with s(CASP)

2023-10-23 · Sopam Dasgupta, Farhad Shakerin, Joaquín Arias, Elmer Salazar 외

Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail, hiring, and many more. Unfortunately, most of these models are black-boxes, …

AttributecounterfactualCounterfactual ExplanationDecision Making+2

Score-Based Explanations in Data Management and Machine Learning: An Answer-Set Programming Approach to Counterfactual Analysis

2021-06-19 · Leopoldo Bertossi

We describe some recent approaches to score-based explanations for query answers in databases and outcomes from classification models in machine learning. The focus is on work done by the author and collaborators. Specia…

BIG-bench Machine LearningcounterfactualCounterfactual ReasoningManagement

Think before You Simulate: Symbolic Reasoning to Orchestrate Neural Computation for Counterfactual Question Answering

2025-06-12 · IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) 2024 1 · Adam Ishay, Zhun Yang, Joohyung Lee, Ilgu Kang 외

Causal and temporal reasoning about video dynamics is a challenging problem. While neuro-symbolic models that combine symbolic reasoning with neural-based perception and prediction have shown promise, they exhibit limita…

counterfactualCounterfactual ReasoningQuestion Answering

Reasoning about Counterfactuals and Explanations: Problems, Results and Directions

2021-08-25 · Leopoldo Bertossi

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…

Classificationcounterfactual

Do Large Code Models Understand Programming Concepts? Counterfactual Analysis for Code Predicates

2024-02-08 · Ashish Hooda, Mihai Christodorescu, Miltiadis Allamanis, Aaron Wilson 외

Large Language Models' success on text generation has also made them better at code generation and coding tasks. While a lot of work has demonstrated their remarkable performance on tasks such as code completion and edit…

Code CompletionCode GenerationcounterfactualText Generation