Corrective Explanation for Interactive Constraint Satisfaction
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence. Pages 1531-1531.
Abstract
Interactive tasks such as online configuration can be modeled as constraint satisfaction problems. These can be solved interactively by a user assigning values to variables. Explanations for failure in constraint programming tend to focus on conflict. However, what is often desirable is an explanation that is corrective in the sense that it provides the basis for moving forward in the problem-solving process. This paper defines this notion of corrective explanation and demonstrates that a greedy search approach performs very well on a large real-world configuration problem.
@inproceedings{ijcai2005p293,
title = {Corrective Explanation for Interactive Constraint Satisfaction},
author = {O'Sullivan, Barry and O'Callaghan, Barry and Freuder, Eugene C.},
booktitle = {Proceedings of the Nineteenth International Joint Conference on
Artificial Intelligence, {IJCAI-05}},
publisher = {International Joint Conferences on Artificial Intelligence},
pages = {1531--1531},
year = {2005},
url = {https://ijcai.org/proceedings/2005/293},
}
TY - CPAPER TI - Corrective Explanation for Interactive Constraint Satisfaction AU - O'Sullivan, Barry AU - O'Callaghan, Barry AU - Freuder, Eugene C. T2 - Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI-05 PB - International Joint Conferences on Artificial Intelligence PY - 2005 SP - 1531 EP - 1531 UR - https://ijcai.org/proceedings/2005/293 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
