Finding counterfactual explanations through constraint relaxations
| dc.contributor.author | Dev Gupta, Sharmi | |
| dc.contributor.author | Genç, Begüm | |
| dc.contributor.author | O'Sullivan, Barry | |
| dc.contributor.funder | Science Foundation Ireland | en |
| dc.contributor.funder | European Regional Development Fund | en |
| dc.contributor.funder | Horizon 2020 | en |
| dc.date.accessioned | 2023-01-11T16:28:39Z | |
| dc.date.available | 2023-01-11T16:28:39Z | |
| dc.date.issued | 2022-02 | |
| dc.date.updated | 2023-01-11T16:16:06Z | |
| dc.description.abstract | Interactive constraint systems often suffer from infeasibility (no solution) due to conflicting user constraints. A common approach to recover infeasibility is to eliminate the constraints that cause the conflicts in the system. This approach allows the system to provide an explanation as: "if the user is willing to drop out some of their constraints, there exists a solution". However, one can criticise this form of explanation as not being very informative. A counterfactual explanation is a type of explanation that can provide a basis for the user to recover feasibility by helping them understand which changes can be applied to their existing constraints rather than removing them. This approach has been extensively studied in the machine learning field, but requires a more thorough investigation in the context of constraint satisfaction. We propose an iterative method based on conflict detection and maximal relaxations in over-constrained constraint satisfaction problems to help compute a counterfactual explanation. | en |
| dc.description.sponsorship | Science Foundation Ireland (SFI Grant 16/RC/3918; 12/RC/2289-P2; 18/CRT/6223, co-funded under the European Regional Development Fund); European Commission (TAILOR, HumanE AI Network, BRAINE, and StairwAI projects funded by EU Horizon 2020 under Grant Agreements 952215, 952026, 876967, and 101017142) | en |
| dc.description.status | Not peer reviewed | en |
| dc.description.version | Accepted Version | en |
| dc.format.mimetype | application/pdf | en |
| dc.identifier.citation | Dev Gupta, S., Genc, B. and O'Sullivan, B. (2022) 'Finding counterfactual explanations through constraint relaxations', AAA1 22 - Thirty-Sixth AAAI Conference on Artificial Intelligence: Explainable Agency in Artificial Intelligence Workshop (EAAI'22), Online, 22 Feb - 01 Mar. | en |
| dc.identifier.endpage | 9 | en |
| dc.identifier.startpage | 1 | en |
| dc.identifier.uri | https://hdl.handle.net/10468/14044 | |
| dc.language.iso | en | en |
| dc.publisher | AAAI | en |
| dc.relation.ispartof | AAA1 22 - Thirty-Sixth AAAI Conference on Artificial Intelligence | |
| dc.relation.project | info:eu-repo/grantAgreement/SFI/SFI Research Centres/12/RC/2289/IE/INSIGHT - Irelands Big Data and Analytics Research Centre/ | en |
| dc.relation.project | info:eu-repo/grantAgreement/EC/H2020::RIA/952215/EU/Foundations of Trustworthy AI - Integrating Reasoning, Learning and Optimization/TAILOR | en |
| dc.relation.project | info:eu-repo/grantAgreement/EC/H2020::RIA/952026/EU/HumanE AI Network/HumanE-AI-Net | en |
| dc.relation.project | info:eu-repo/grantAgreement/EC/H2020::ECSEL-RIA/876967/EU/Big data pRocessing and Artificial Intelligence at the Network Edge/BRAINE | en |
| dc.relation.project | info:eu-repo/grantAgreement/EC/H2020::IA/101017142/EU/Stairway to AI: Ease the Engagement of Low-Tech users to the AI-on-Demand platform through AI/StairwAI | en |
| dc.relation.uri | https://sites.google.com/view/eaai-ws-2022/topic | |
| dc.subject | Counterfactual explanation | en |
| dc.subject | Maximal relaxation | en |
| dc.subject | Constraint programming | en |
| dc.title | Finding counterfactual explanations through constraint relaxations | en |
| dc.type | Conference item | en |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Finding_Counterfactual_Explanations_through_Constraint_Relaxations_CP2022.pdf
- Size:
- 567.32 KB
- Format:
- Adobe Portable Document Format
- Description:
- Accepted version
License bundle
1 - 1 of 1
Loading...
- Name:
- license.txt
- Size:
- 2.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description:
