Counterfactual Explanation Generation with s(CASP)
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, 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 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. Our approach utilizes answer set programming and the s(CASP) goal-directed ASP system. Answer Set Programming (ASP) is a well-known knowledge representation and reasoning paradigm. s(CASP) is a goal-directed ASP system that executes answer-set programs top-down without grounding them. The query-driven nature of s(CASP) allows us to provide justifications as proof trees, which makes it possible to analyze the generated counterfactual explanations. We show how counterfactual explanations are computed and justified by imagining multiple possible worlds where some or all factual assumptions are untrue and, more importantly, how we can navigate between these worlds. We also show how our algorithm can be used to find the Craig Interpolant for a class of answer set programs for a failing query.
Code (0)
등록된 구현이 없습니다.
Tasks
AttributecounterfactualCounterfactual ExplanationDecision MakingExplanation GenerationNavigateMethods 이 논문이 사용한 방법론
Similar Papers 제목 키워드 기반
CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
Machine learning models are increasingly used in areas such as loan approvals and hiring, yet they often function as black boxes, obscuring their decision-making processes. Transparency is crucial, and individuals need e…
AttributecounterfactualDecision MakingCounterfactual Generation with Answer Set Programming
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 blac…
AttributecounterfactualDecision MakingNavigateCoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
Machine learning models are increasingly used in critical areas such as loan approvals and hiring, yet they often function as black boxes, obscuring their decision-making processes. Transparency is crucial, as individual…
counterfactualDecision MakingCFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
Machine learning models that automate decision-making are increasingly used in consequential areas such as loan approvals, pretrial bail approval, and hiring. Unfortunately, most of these models are black boxes, i.e., th…
AttributecounterfactualPlug and Play Counterfactual Text Generation for Model Robustness
Generating counterfactual test-cases is an important backbone for testing NLP models and making them as robust and reliable as traditional software. In generating the test-cases, a desired property is the ability to cont…
AttributecounterfactualText Generation