Configuration Knowledge Representation and Reasoning

Configuration models specify the set of possible configurations (solutions). A configuration model together with a defined set of (customer) requirements are the major elements of a configuration task (problem). In this chapter, we discuss different knowledge representations that can be used for the definition of a configuration model. We provide examples that help to further develop the understanding of the underlying concepts and include a UML-based personal computer (PC) configuration model that is used as a reference example throughout this book.

[1]  丁连芬.  术语“configuration——定型”解读 , 2002 .

[2]  W. Nutt,et al.  Constructive problem solving : a model construction approach towards configuration , 1995 .

[3]  Petros Nihoyannopoulos,et al.  In pursuit of the holy grail. , 2015, JACC. Cardiovascular imaging.

[4]  Dietmar Jannach,et al.  Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML , 2000, UML.

[5]  Michael Heinrich,et al.  Using Resource Balancing to Configure Modular Systems , 1998, IEEE Intell. Syst..

[6]  Carsten Schröder,et al.  A Partial Logical Reconstruction of PLAKON/KONWERK , 2005 .

[7]  Markus Stumptner,et al.  An Overview of Knowledge-Based Configuration , 1997, AI Commun..

[8]  Alexander Felfernig,et al.  Constraint-based recommender systems: technologies and research issues , 2008, ICEC.

[9]  Alexander Felfernig,et al.  User Interfaces for Configuration Environments , 2014 .

[10]  Martin Gebser,et al.  On the Input Language of ASP Grounder Gringo , 2009, LPNMR.

[11]  Marco Sinnema,et al.  Configuration in industrial product families - the ConIPF methodology , 2006 .

[12]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

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

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

[15]  Andreas Günter,et al.  Knowledge-Based Configuration: Survey and Future Directions , 1999, XPS.

[16]  Yuliya Lierler,et al.  Answer Set Programming Based on Propositional Satisfiability , 2006, Journal of Automated Reasoning.

[17]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[18]  Elliot Soloway,et al.  Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base , 1987, AAAI.

[19]  Andreas A. Falkner,et al.  SIEMENS: Configuration and Reconfiguration in Industry , 2014 .

[20]  Klaus Schmid,et al.  Configuration in Industrial Product Families - The ConIPF Methodology , 2007, Künstliche Intell..

[21]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[22]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[23]  Markus Stumptner,et al.  Configuration knowledge representations for Semantic Web applications , 2003, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[24]  Miroslaw Truszczynski,et al.  Answer set programming at a glance , 2011, Commun. ACM.

[25]  Werner Nutt,et al.  Proceedings of the Workshop on Knowledge Representation and Configuration, WRKP'96 , 1996 .

[26]  Mikolás Janota.  Do SAT Solvers Make Good Configurators? , 2008, SPLC.

[27]  Melvin K. Simmons,et al.  Artificial intelligence for engineering design , 1984 .

[28]  Sergio Segura,et al.  Automated analysis of feature models 20 years later: A literature review , 2010, Inf. Syst..

[29]  Brahim Hnich,et al.  Symmetry Breaking in a Rack Configuration Problem , 2001 .

[30]  Jon R. Wright,et al.  An Industrial-Strength Description-Logics-Based Configurator Platform , 1998, IEEE Intell. Syst..

[31]  Alexander Felfernig,et al.  Towards Anomaly Explanation in Feature Models , 2013, Configuration Workshop.

[32]  M. Sheeran,et al.  SAT-solving in practice , 2008, 2008 9th International Workshop on Discrete Event Systems.

[33]  Juha Tiihonen,et al.  WeCoTin - A practical logic-based sales configurator , 2013, AI Commun..

[34]  Gerhard Friedrich,et al.  Conceptual modeling for configuration of mass-customizable products , 2001, Artif. Intell. Eng..

[35]  Bin Li,et al.  Product configuration optimization using a multiobjective genetic algorithm , 2006 .

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

[37]  Frank Puppe,et al.  XPS-99: Knowledge-Based Systems. Survey and Future Directions , 1999, Lecture Notes in Computer Science.

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

[39]  Markus Stumptner,et al.  Knowledge Engineering for Configuration Systems , 2014 .

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

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

[42]  Boi Faltings Rainer Weigel.  Constraint-based knowledge representation for configuration systems , 1994 .

[43]  Lothar Hotz,et al.  Smarthome Configuration Model , 2014 .

[44]  David Pisinger,et al.  Interactive Cost Configuration Over Decision Diagrams , 2014, J. Artif. Intell. Res..

[45]  Reijo Sulonen,et al.  A Practical Tool for Mass-Customising Configurable Products , 2003 .

[46]  Reijo Sulonen,et al.  Towards a general ontology of configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[47]  Mikolás Janota,et al.  How to Complete an Interactive Configuration Process? , 2010, SOFSEM.

[48]  Bernd Neumann.  CONFIGURATION EXPERT SYSTEMS: A CASE STUDY AND TUTORIAL , 2007 .

[49]  Peter Norvig,et al.  Artificial intelligence - a modern approach, 2nd Edition , 2003, Prentice Hall series in artificial intelligence.

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

[51]  Reijo Sulonen,et al.  Representing Configuration Knowledge With Weight Constraint Rules , 2001, Answer Set Programming.

[52]  Peter van Beek,et al.  On the Conversion between Non-Binary and Binary Constraint Satisfaction Problems , 1998, AAAI/IAAI.

[53]  Markus Zanker,et al.  Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language , 2000, Diagrams.

[54]  Gerhard Friedrich,et al.  Recommender Systems - An Introduction , 2010 .

[55]  Daniel Sabin,et al.  Product Configuration Frameworks - A Survey , 1998, IEEE Intell. Syst..

[56]  Andreas A. Falkner,et al.  Challenges of knowledge evolution in practice , 2013, AI Commun..

[57]  Michel Aldanondo,et al.  Concurrent product configuration and process planning, towards an approach combining interactivity and optimality , 2013 .

[58]  Alexander Felfernig,et al.  Standardized Configuration Knowledge Representations as Technological Foundation for Mass Customization , 2007, IEEE Transactions on Engineering Management.

[59]  Bernd Neumann,et al.  Scene Interpretation as a Configuration Task , 2005, Künstliche Intell..

[60]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[61]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[62]  James Bowen,et al.  Conditional Existence of Variables in Generalised Constraint Networks , 1991, AAAI.

[63]  Robert A. Kowalski,et al.  Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 (2 Volumes) , 1988, ICLP/SPL.

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

[65]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[66]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

[67]  Toby Walsh,et al.  Handbook of Constraint Programming (Foundations of Artificial Intelligence) , 2006 .

[68]  Alexander Felfernig,et al.  Recommender Systems for Configuration Knowledge Engineering , 2013, Configuration Workshop.

[69]  Ulrich Junker,et al.  The Logic of ILOG ( J ) Configurator : Combining Constraint Programming with a Description Logic , 2003 .

[70]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[71]  Markus Stumptner,et al.  Generative constraint-based configuration of large technical systems , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[72]  Ivar Jacobson,et al.  Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series) , 2005 .

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

[74]  Alexander Felfernig,et al.  Recommendation Technologies for Configurable Products , 2011, AI Mag..

[75]  Peter Ross,et al.  Hyper-heuristics for the dynamic variable ordering in constraint satisfaction problems , 2008, GECCO '08.

[76]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[77]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[78]  Chris N. Potts,et al.  Constraint satisfaction problems: Algorithms and applications , 1999, Eur. J. Oper. Res..

[79]  Daniel Mailharro,et al.  A classification and constraint-based framework for configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[80]  Alexander Felfernig,et al.  Knowledge-Based Configuration: From Research to Business Cases , 2014 .

[81]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.