Explanation in Constraint Satisfaction: A Survey
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence. Survey Track. Pages 4400-4407.
https://doi.org/10.24963/ijcai.2021/601
Keywords
- Constraints and SAT: General
Abstract
Much of the focus on explanation in the field of artificial intelligence has focused on machine learning methods and, in particular, concepts produced by advanced methods such as neural networks and deep learning. However, there has been a long history of explanation generation in the general field of constraint satisfaction, one of the AI's most ubiquitous subfields. In this paper we survey the major seminal papers on the explanation and constraints, as well as some more recent works. The survey sets out to unify many disparate lines of work in areas such as model-based diagnosis, constraint programming, Boolean satisfiability, truth maintenance systems, quantified logics, and related areas.
@inproceedings{ijcai2021p601,
title = {Explanation in Constraint Satisfaction: A Survey},
author = {Dev Gupta, Sharmi and Genc, Begum and O'Sullivan, Barry},
booktitle = {Proceedings of the Thirtieth International Joint Conference on
Artificial Intelligence, {IJCAI-21}},
publisher = {International Joint Conferences on Artificial Intelligence Organization},
editor = {Prof. Zhi-Hua Zhou},
pages = {4400--4407},
year = {2021},
month = {8},
note = {Survey Track},
doi = {10.24963/ijcai.2021/601},
url = {https://doi.org/10.24963/ijcai.2021/601},
}
TY - CPAPER TI - Explanation in Constraint Satisfaction: A Survey AU - Dev Gupta, Sharmi AU - Genc, Begum AU - O'Sullivan, Barry T2 - Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI-21 PB - International Joint Conferences on Artificial Intelligence Organization PY - 2021 SP - 4400 EP - 4407 DO - 10.24963/ijcai.2021/601 UR - https://doi.org/10.24963/ijcai.2021/601 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
