Conference Publication Details
Mandatory Fields
Papadopoulos, A., O'Sullivan, B.
Principles and Practice of Constraint Programming - 15th International Conference, CP2009
Compiling All Possible Conflicts of a CSP
2009
September
Published
0
Scopus: 1 ()
Optional Fields
Ian P. Gent
639
653
In interactive decision-making settings, such as product configuration, users are stating preferences, or foreground constraints, over a set of possible solutions, as defined by background constraints. When the foreground constraints introduce inconsistencies with the background constraints, we wish to find explanations that help the user converge to a solution. In order to provide satisfactory explanations, it can be useful to know one or several subsets of conflicting constraints; such a subset is called a conflict. When computing such conflicts is intractable in an interactive context, we can choose to compile the problem so as to allow faster response times. In this paper we propose a new representation, which implicitly encompasses all conflicts possibly introduced by a user's choices. We claim that it can help in situations where extra information about conflicts is needed, such as when explanations of inconsistency are required. © 2009 Springer Berlin Heidelberg.
http://www.scopus.com/inward/record.url?eid=2-s2.0-70350381824&partnerID=40&md5=f712c15e5adacf5f40b8b459148d4d93
10.1007/978-3-642-04244-7_50
Grant Details