Lazy Conflict Detection with Genetic Algorithms

The customization of complex products and services requires configurators with often large and complex knowledge bases. In the case that configuration-related user requirements are inconsistent with the knowledge base, immediate feedback is desired. However, due to the domain’s complexity, efficient feedback generation is often not possible. In this paper we show how to use genetic algorithms to pre-generate minimal conflict sets. Their integration into the configurator allows response times required for interactive settings. Our evaluations, based on knowledge bases from the air pollution monitoring domain, show significant performance improvements.

[1]  Sam Kwong,et al.  Genetic algorithms: concepts and applications [in engineering design] , 1996, IEEE Trans. Ind. Electron..

[2]  B. L. Walcott,et al.  Stability and optimality in genetic algorithm controllers , 1996, Proceedings of the 1996 IEEE International Symposium on Intelligent Control.

[3]  Wolfgang Küchlin,et al.  Constraint-based and SAT-based diagnosis of automotive configuration problems , 2016, Journal of Intelligent Information Systems.

[4]  José Neves,et al.  Using genetic algorithms to create solutions for conflict resolution , 2013, Neurocomputing.

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

[6]  Alexander Felfernig,et al.  An efficient diagnosis algorithm for inconsistent constraint sets , 2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[7]  Markus Stumptner,et al.  An overview of knowledgedbased configuration , 1997 .

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

[9]  Melanie Mitchell,et al.  An introduction to genetic algorithms , 1996 .

[10]  Markus Stumptner,et al.  Configuring Large Systems Using Generative Constraint Satisfaction , 1998, IEEE Intell. Syst..

[11]  Sam Kwong,et al.  Genetic algorithms: concepts and applications [in engineering design] , 1996, IEEE Trans. Ind. Electron..

[12]  Darrell Whitley,et al.  A genetic algorithm tutorial , 1994, Statistics and Computing.

[13]  Li Chen,et al.  Trust building with explanation interfaces , 2006, IUI '06.