Representative Explanations for Over-Constrained Problems

In many interactive decision making scenarios there is often no solution that satisfies all of the user's preferences. The decision process can be helped by providing explanations. Relaxation show sets of consistent preferences and, thus, indicate Which preferences can be enforced, while exclusion sets show which preferences can be relaxed to obtain a solution. We propose a new approach to explanation based on the notion of a representative set of explanations. The size of the set of explanations we compute is exponentially more compact than that found using common approaches from the literature based on finding all minimal conflicts.

[1]  Barry O'Sullivan,et al.  Generating Corrective Explanations for Interactive Constraint Satisfaction , 2005, CP.

[2]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[3]  Boi Faltings,et al.  Effective Interaction Principles for Online Product Search Environments , 2004, IEEE/WIC/ACM International Conference on Web Intelligence (WI'04).

[4]  James Bowen,et al.  Using dependency records to generate design coordination advice in a constraint-based approach to concurrent engineering , 1997 .

[5]  Martha E. Pollack,et al.  Identifying Conflicts in Overconstrained Temporal Problems , 2005, IJCAI.

[6]  James Bailey,et al.  Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization , 2005, PADL.

[7]  Eugene C. Freuder,et al.  Inference-Based Constraint Satisfaction Supports Explanation , 1996, AAAI/IAAI, Vol. 1.

[8]  Gerhard Friedrich Elimination of Spurious Explanations , 2004, ECAI.

[9]  Karem A. Sakallah,et al.  On Finding All Minimally Unsatisfiable Subformulas , 2005, SAT.

[10]  Pierre Marquis,et al.  Consistency restoration and explanations in dynamic CSPs Application to configuration , 2002, Artif. Intell..

[11]  Éric Grégoire,et al.  Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle , 2007, IJCAI.

[12]  Francesca Rossi,et al.  Computing Explanations and Implications in Preference-Based Configurators , 2002, International Workshop on Constraint Solving and Constraint Logic Programming.