TY - GEN
T1 - Explanation in Constraint Satisfaction
T2 - 30th International Joint Conference on Artificial Intelligence, IJCAI 2021
AU - Gupta, Sharmi Dev
AU - Genc, Begum
AU - O'Sullivan, Barry
N1 - Publisher Copyright:
© 2021 International Joint Conferences on Artificial Intelligence. All rights reserved.
PY - 2021
Y1 - 2021
N2 - Much of the focus on explanation in the field of artificial intelligence has been 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.
AB - Much of the focus on explanation in the field of artificial intelligence has been 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.
UR - https://www.scopus.com/pages/publications/85125451032
U2 - 10.24963/ijcai.2021/601
DO - 10.24963/ijcai.2021/601
M3 - Conference proceeding
AN - SCOPUS:85125451032
T3 - IJCAI International Joint Conference on Artificial Intelligence
SP - 4400
EP - 4407
BT - Proceedings of the 30th International Joint Conference on Artificial Intelligence, IJCAI 2021
A2 - Zhou, Zhi-Hua
PB - International Joint Conferences on Artificial Intelligence
Y2 - 19 August 2021 through 27 August 2021
ER -