Personalized Diagnosis for Over-Constrained Problems

Constraint-based applications such as configurators, recommenders, and scheduling systems support users in complex decision making scenarios. Typically, these systems try to identify a solution that satisfies all articulated user requirements. If the requirements are inconsistent with the underlying constraint set, users have to be actively supported in finding a way out from the no solution could be found dilemma. In this paper we introduce techniques that support the calculation of personalized diagnoses for inconsistent constraint sets. These techniques significantly improve the diagnosis prediction quality compared to approaches based on the calculation of minimal cardinality diagnoses. In order to show the applicability of our approach we present the results of an empirical study and a corresponding performance analysis.

[1]  L. Schmidt-Thieme,et al.  Introduction to the IEEE Intelligent Systems Special Issue : Recommender Systems , 2007 .

[2]  W. Edwards,et al.  Decision Analysis and Behavioral Research , 1986 .

[3]  Lars Schmidt-Thieme,et al.  Guest Editors' Introduction: Recommender Systems , 2007, IEEE Intell. Syst..

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

[5]  Barry O'Sullivan,et al.  Representative Explanations for Over-Constrained Problems , 2007, AAAI.

[6]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[7]  Robin Burke,et al.  Knowledge-based recommender systems , 2000 .

[8]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[9]  Karem A. Sakallah,et al.  GRASP—a new search algorithm for satisfiability , 1996, ICCAD 1996.

[10]  Parke Godfrey,et al.  Minimization in Cooperative Response to Failing Database Queries , 1994, Int. J. Cooperative Inf. Syst..

[11]  S. Russel and P. Norvig,et al.  “Artificial Intelligence – A Modern Approach”, Second Edition, Pearson Education, 2003. , 2015 .

[12]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[13]  Gerhard Friedrich,et al.  A General Diagnosis Method for Ontologies , 2005, SEMWEB.

[14]  Ulrich Junker,et al.  Preferring diagnoses using a partial order on assumptions , 1994, Annals of Mathematics and Artificial Intelligence.

[15]  Johan de Kleer,et al.  Using Crude Probability Estimates to Guide Diagnosis , 1990, Artif. Intell..

[16]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[17]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[18]  Joao Marques-Silva,et al.  GRASP-A new search algorithm for satisfiability , 1996, Proceedings of International Conference on Computer Aided Design.