Human-centred feasibility restoration

Ilankaikone Senthooran, Gleb Belov, Kevin Leo, Michael Wybrow, Matthias Klapperstueck, Tobias Czauderna, Mark Wallace, Maria Garcia De La Banda

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

4 Citations (Scopus)

Abstract

Decision systems for solving real-world combinatorial problems must be able to report infeasibility in such a way that users can understand the reasons behind it, and understand how to modify the problem to restore feasibility. Current methods mainly focus on reporting one or more subsets of the problem constraints that cause infeasibility. Methods that also show users how to restore feasibility tend to be less flexible and/or problem-dependent. We describe a problem-independent approach to feasibility restoration that combines existing techniques from the literature in novel ways to yield meaningful, useful, practical and flexible user support. We evaluate the resulting framework on two real-world applications.

Original languageEnglish
Title of host publication27th International Conference on Principles and Practice of Constraint Programming
EditorsLaurent D. Michel
Place of PublicationDagstuhl Germany
PublisherSchloss Dagstuhl
Number of pages18
Volume210
ISBN (Electronic)9783959772112
DOIs
Publication statusPublished - 2021
EventInternational Conference on Principles and Practice of Constraint Programming 2021 - Online, Montpellier, France
Duration: 25 Oct 202129 Oct 2021
Conference number: 27th
https://cp2021.a4cp.org/ (Website)
https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16213 (Proceedings)
https://cp2021.a4cp.org/acceptedpapers.html (Proceedings)

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
PublisherSchloss Dagstuhl
Volume210
ISSN (Electronic)1868-8969

Conference

ConferenceInternational Conference on Principles and Practice of Constraint Programming 2021
Abbreviated titleCP 2021
Country/TerritoryFrance
CityMontpellier
Period25/10/2129/10/21
Internet address

Keywords

  • Combinatorial optimisation
  • Modelling
  • Human-centred
  • Conflict resolution
  • Feasibility restoration
  • Explainable AI
  • Soft constraints

Cite this