Search

This technical report is a bibliographic study, an analysis and a synthesis of needs. This work is realized as part of a thesis about the subject"Constraint Logic Programming's application to the Timetable problems", within the department of Constraint Logic Programming (PLA :"Programmation en Logique et Applications") and the CNET's division SLC of Lannion-A. The subsidies come on the one hand from the Brittany's local committee, on the other hand from the national center of telecommunications studies (CNET).The Timetable problem is difficult and can give many days of work to one or two persons. A Timetable is very important due to the fact that it deals with the good management of time for different people who have their own activities. In big institutions (secondary schools, colleges of tlniversity ; CNET ...), many difficulties arise : big volume of data, fuzzy criterion of optimization, combinatorial problem, very varied constraints, inopportune changes. Then, many applications have grown either from mathematic models assisted by graph theory, or from other techniques such as operational research or artificial intelligence.This paper draws the requirements to solve this problem and proposes a model of resolution by the approach of Constraint Logic Programming.; Cette note technique est le résultat d'une étude bibliographique, d'une analyse et d'une synthèse des besoins, réalisées dans le cadre d'une thèse dont le sujet est "Application de la Programmation en Logique avec Contraintes aux problèmes d'Emploi du Temps", au sein de l'équipe Programmation en Logique avec Contraintes (PLA) dans la division SLC au CNET-Lannion A. Cette thèse est subventionnée d'une part par le Conseil Régional de Bretagne et d'autre part par le CNET.Le problème d'Emploi du Temps est un problème difficile qui peut donner plusieurs jours de travail à une ou deux personnes. L'importance d'un Emploi du Temps est évidente puisqu'il s'agit de gérer le temps de différentes personnes possédant leurs propres activités et ceci d'une manière satisfaisante pour chacune d'elle. Dans de grands établissements (lycées, grandes écoles ;CNET ; IRET ; ...), on se trouve confronté à de multiples difficultés : volume important d'informations, critère d'optimisation flou, combinatoire, contraintes très diverses, changements intempestifs. De ce fait, plusieurs recherches et essais de résolutions se sont développés, que ce soit par des modélisations mathématiques aidées de la théorie des graphes ou que ce soit par d'autres techniques issues de la Recherche Opérationnelle ou de l’IntelligenceArtificielle.Ce document conclut en dégageant les besoins pour informatiser et résoudre ce problème et propose une modélisation de résolution fondée sur I'approche Programmation en Logique avec Contraintes.

This technical report is a bibliographic study, an analysis and a synthesis of needs. This work is realized as part of a thesis about the subject"Constraint Logic Programming's application to the Timetable problems", within the department of Constraint Logic Programming (PLA :"Programmation en Logique et Applications") and the CNET's division SLC of Lannion-A. The subsidies come on the one hand from the Brittany's local committee, on the other hand from the national center of telecommunications studies (CNET).The Timetable problem is difficult and can give many days of work to one or two persons. A Timetable is very important due to the fact that it deals with the good management of time for different people who have their own activities. In big institutions (secondary schools, colleges of tlniversity ; CNET ...), many difficulties arise : big volume of data, fuzzy criterion of optimization, combinatorial problem, very varied constraints, inopportune changes. Then, many applications have grown either from mathematic models assisted by graph theory, or from other techniques such as operational research or artificial intelligence.This paper draws the requirements to solve this problem and proposes a model of resolution by the approach of Constraint Logic Programming.; Cette note technique est le résultat d'une étude bibliographique, d'une analyse et d'une synthèse des besoins, réalisées dans le cadre d'une thèse dont le sujet est "Application de la Programmation en Logique avec Contraintes aux problèmes d'Emploi du Temps", au sein de l'équipe Programmation en Logique avec Contraintes (PLA) dans la division SLC au CNET-Lannion A. Cette thèse est subventionnée d'une part par le Conseil Régional de Bretagne et d'autre part par le CNET.Le problème d'Emploi du Temps est un problème difficile qui peut donner plusieurs jours de travail à une ou deux personnes. L'importance d'un Emploi du Temps est évidente puisqu'il s'agit de gérer le temps de différentes personnes possédant leurs propres activités et ceci d'une manière satisfaisante pour chacune d'elle. Dans de grands établissements (lycées, grandes écoles ;CNET ; IRET ; ...), on se trouve confronté à de multiples difficultés : volume important d'informations, critère d'optimisation flou, combinatoire, contraintes très diverses, changements intempestifs. De ce fait, plusieurs recherches et essais de résolutions se sont développés, que ce soit par des modélisations mathématiques aidées de la théorie des graphes ou que ce soit par d'autres techniques issues de la Recherche Opérationnelle ou de l’IntelligenceArtificielle.Ce document conclut en dégageant les besoins pour informatiser et résoudre ce problème et propose une modélisation de résolution fondée sur I'approche Programmation en Logique avec Contraintes.