Ant Colony Optimization for Configuration

An inherent difficulty in enumerative search algorithms for optimisation is the combinatorial explosion that occurs when increasing the size of the input. Among incomplete algorithms that address this issue, ant colony optimization(ACO) uses a combination of random and heuristic methods plus reinforcement learning, which proved efficient on a wide range of CSPs problems. This paper presents results in applying an ACO-based algorithm to configuration, which to the best of our knowledge was never investigated before. We describe how the nature of unbounded configuration problems impacts the ACO approach due to the presence of set-variables with open domains. We propose an ACO framework able to deal with those issues through an original pheromone model and algorithm. We also present the use of particle swarm optimization (PSO) to converge towards good parameter sets. Finally, we provide early experimental results, both for random problem instances andthe "racks" optimisation problem.

[1]  Deborah L. McGuinness,et al.  Conceptual modelling for configuration: A description logic-based approach , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[2]  Thomas Stützle,et al.  MAX-MIN Ant System , 2000, Future Gener. Comput. Syst..

[3]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

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

[5]  Russell C. Eberhart,et al.  A new optimizer using particle swarm theory , 1995, MHS'95. Proceedings of the Sixth International Symposium on Micro Machine and Human Science.

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

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

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

[9]  Marco Dorigo,et al.  Ant colony optimization theory: A survey , 2005, Theor. Comput. Sci..

[10]  Mathias Kleiner,et al.  Advances in Polytime Isomorph Elimination for Configuration , 2005, CP.

[11]  Luca Maria Gambardella,et al.  Ant colony system: a cooperative learning approach to the traveling salesman problem , 1997, IEEE Trans. Evol. Comput..

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

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

[14]  Luca Maria Gambardella,et al.  Ant Algorithms for Discrete Optimization , 1999, Artificial Life.

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

[16]  Christine Solnon,et al.  Ants can solve constraint satisfaction problems , 2002, IEEE Trans. Evol. Comput..

[17]  Eugene C. Freuder,et al.  Configuration as Composite Constraint Satisfaction , 1996 .

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

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

[20]  Markus Stumptner,et al.  A Generative Constraint Formalism for Configuration Problems , 1993, AI*IA.

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

[22]  Ulrich Junker,et al.  Chapter 24 - Configuration , 2006 .