Application of Constraint Logic Programming to Timetable Problem
Application de la Programmation en Logique avec Contraintes au Problème d'Emploi du temps
Résumé
The goal of this thesis is to propose an aid to the modelisation resolution and the of timetable problems with the constraint logic programming.
The first part of this thesis presents the works encountered in iiterature to have a good understanding of the link between constraint logic programming and timetable problem. On the one part, we present the probÏematic of timetable problem by the different encountered resolutions, on the other part the different techniques of constraint logic progïamming with the varied existing languages.
The second part presents my thought on the manner to make the link between constraint logic programming and tirnetable probiem. In order to have a most general resolution, we define a new coloration model : the multi-dimensional coloration. Next, we give an aid to the timetable problem resolution by suggesting a model based on this coloration. We translate it easily into constraint logic programming. Finally, we give an aid to the modelisation by detecting the constraints to relaxe in case of conflict. Then, we can make a sensible relaxation allowing an intelligent interaction between a resolution of one problem and its modelisation.
Le but de cette thèse est de proposer une aide à la modélisation et à la résolution des problèmes d'emploi du temps. Pour faire cette aide, nous utilisons la programmation en logique avec contraintes.
La première partie de cette thèse fait état des travaux rencontrés dans la littérature pour bien comprendre le lien à faire entre programmation en logique avec contraintes et problème d'emploi du temps. Elle présente d'une part la problématique du problème d'emploi du temps par.les différentes résolutions rencontrées et d'autre-part les différentes techniques de programmation en logique avec contraintes avec les divers langages existants.
La deuxième partie présente ma réflexion sur la manière de faire le lien entre programmation e-n log:que avec contraintes et problème d'emploi du temps. Afin d'avoir une résolution plus générale, nous définissons un modèle de coloration : la coloration multi-dimensionnelle. Puis nous donnons une aide à la résolution du problème d'emploi du temps en proposant un modèle basé sur cette coloration. Celui-ci se traduit facilement en programmation en logique avec contraintes. Enfin, nous donnons une aide à [a modélisation en détectant les contraintes à relâcher en cas de blocage. Ainsi nous pouvons faire un relâchement sensé permettant une interaction intelligente entre ,ne résolution d'un problème et sa modélisation.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...