Résumé des travaux (UTP)

Le modèle UTP (University Timetabling Problem) représente une approche structurée pour résoudre les problématiques complexes de planification dans le milieu éducatif, allant du sectionnement des étudiants à la planification des cours. Ce cadre intègre un schéma de données riche et un langage de règles spécifiquement conçus pour traiter efficacement une large gamme de problèmes de planification universitaire. Le cœur du modèle UTP réside dans sa capacité à combiner un schéma d'entités détaillé avec un langage de règles axé sur l'utilisateur, permettant d'exprimer de manière concise les contraintes sur divers aspects des problèmes de planification. Cela inclut la programmation des sessions, la planification des capacités et l'allocation des ressources. Les règles sont formulées à travers un catalogue de prédicats de contraintes de planification et un langage de requête pour sélectionner, filtrer et lier les entités aux sessions. Pour le traitement par les solveurs, une instance UTP basée sur des règles est convertie en un problème de satisfaction de contraintes. Cette transformation traduit le schéma d'entités en variables de décision et intègre des contraintes fondamentales, enrichies par des règles supplémentaires. La résolution d'une instance UTP implique la programmation des sessions et l'attribution des ressources nécessaires pour satisfaire à la fois les contraintes fondamentales et celles dérivées des règles. Le schéma de solution du modèle UTP permet de représenter toute solution de planification calculée pour une instance, qu'elle soit complète ou non. Ce cadre a été testé et validé à travers diverses expériences utilisant des approches de programmation par contraintes (PPC), ASP (answer set programming) et de programmation linéaire mixte en nombres entiers (PLNE), démontrant sa robustesse et son adaptabilité.