PROPOSITION DE SUJET DE MEMOIRE: Recherche heuristique encapsulée
Le langage de programmation Curry Curry
nous sert de base. Il permet l'expression déclarative d'un problème par des contraintes, par exemple pour établir un horaire ou planifier une production.
D'autre part, il contient des opérateurs déclaratifs permettant de controler la recherche exhaustive. Le mémoire consiste à développper de nouveaux opérateurs déclaratifs pour la recherche heuristique (par exemple : recherche par gradient, par tabou, par recuit) puis des opérateurs mixtes, qui utilisent à la fois la programmation par contraintes (pour réduire l'espace de recherche) et la recherche heuristique.
Le but est de totalement séparer l'expression déclarative du problème de ses techniques de résolution. Chacun des deux éléments doit pouvoir etre réutilisé séparément.
References
[1] E. Aarts and J. Lenstra, eds. Local Search in Combinatorial Optimization. Wiley-Interscience, 1997.
[2] S. Minton, M.D. Johnston, A.B. Philips, and P. Laird. Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Artificial Intelligence, 58(1-3):161-205, 1992.
[3] Fink, A., Vo§, S., Woodruff, D., Building Reusable Software Components for Heuristic Search, In: P. Kall, H.-J. Lthi (Eds.), Operations Research Proceedings 1998, Springer, Berlin, 210-219, 1999.
[8] Michel, L. and Van Hentenryck, P., Localizer: A Modeling Language for Local Search, INFORMS Journal of Computing 11(1): 1-14, 1999.
[12] Puget, J-F., Applications of constraint programming, in Montanari, U. & Rossi, F. (ed.), Proceedings, Principles and Practice of Constraint Programming (CP'95), Lecture Notes in Computer Science, Springer Verlag, Berlin, Heidelberg & New York, 647-650,1995.
[13] Schaerf, A., Lenzerini, M., Cadoli, M, LOCAL++: a C++ framework for local search algorithms, Proc. of TOOLS Europe '99: Technology of Object Oriented Languages and
Systems. 29th Int. Conf. 7-10 June, IEEE Comput. Soc pp 152-61, 1999.
[14] Voudouris, C., Dorne, R., Lesaint, D., Liret, A., iOpt: A Software Toolkit for Heuristic Search Methods, 2001.
Stages: Brown (USA), BT Martlesham (UK)