Conference Publication Details
Mandatory Fields
Dev Gupta, Sharmi; Genc, Begum; O'Sullivan, Barry
IJCAI 2021: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence
Explanation in Constraint Satisfaction: A Survey
2021
August
In Press
1
()
Optional Fields
4400
4407
Montreal, Canada. Virtual Event
17-AUG-21
27-AUG-21
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.
10.24963/ijcai.2021/601
Grant Details