Explanation in constraint satisfaction: A survey

Simple item page
dc.contributor.authorDev Gupta, Sharmi
dc.contributor.authorGenç, Begüm
dc.contributor.authorO'Sullivan, Barry
dc.contributor.funderScience Foundation Irelanden
dc.contributor.funderEuropean Regional Development Funden
dc.date.accessioned2021-11-19T12:56:23Z
dc.date.available2021-11-19T12:56:23Z
dc.date.issued2021-08-17
dc.date.updated2021-11-19T12:44:57Z
dc.description.abstractMuch 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.en
dc.description.sponsorshipScience Foundation Ireland (under Grant 16/RC/3918, 12/RC/2289-P2, and 18/CRT/6223, which are co-funded under the European Regional Development Fund)en
dc.description.statusPeer revieweden
dc.description.versionPublished Versionen
dc.format.mimetypeapplication/pdfen
dc.identifier.citationDev Gupta, S., Genc, B. and O'Sullivan, B. (2021) 'Explanation in Constraint Satisfaction: A Survey', JCAI 2021: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, Montreal, Canada. Virtual Event, 17-27 August, pp. 4400-4407. doi:10.24963/ijcai.2021/601en
dc.identifier.doi10.24963/ijcai.2021/601en
dc.identifier.endpage4407en
dc.identifier.isbn978-0-9992411-9-6
dc.identifier.startpage4400en
dc.identifier.urihttps://hdl.handle.net/10468/12241
dc.language.isoenen
dc.publisherInternational Joint Conferences on Artificial Intelligence Organizationen
dc.relation.projectinfo:eu-repo/grantAgreement/SFI/SFI Research Centres/12/RC/2289/IE/INSIGHT - Irelands Big Data and Analytics Research Centre/en
dc.relation.urihttps://www.ijcai.org/proceedings/2021/601
dc.rights© 2021 International Joint Conferences on Artificial Intelligenceen
dc.subjectArtificial intelligenceen
dc.subjectAIen
dc.subjectConstraint satisfactionen
dc.subjectBoolean satisfiabilityen
dc.titleExplanation in constraint satisfaction: A surveyen
dc.typeConference itemen
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Begum_Genc_and_Sharmi_Dev_Gupta_-_Publication.pdf
Size:
141.69 KB
Format:
Adobe Portable Document Format
Description:
Published version
Download
License bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
license.txt
Size:
2.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
Computer Science - Conference Items
Insight Centre for Data Analytics - Conference Items