Planification automatique de l'emploi du temps universitaire
Loading...
Date
2024-06-12
Journal Title
Journal ISSN
Volume Title
Publisher
UNIVERSITE MOHAMED BOUDIAF - M’SILA, Faculté des Mathématiques et de l'Informatique, Département d'Informatique
Abstract
La planification automatique des emplois du temps universitaires par le biais du problème de
satisfaction de contraintes (CSP) optimise la création des emplois du temps en prenant en compte
diverses contraintes. Cette méthode identifie les besoins spécifiques des emplois du temps
universitaires, y compris la gestion des ressources et la satisfaction des contraintes. Le problème est
modélisé en termes de CSP, avec une définition précise des variables, des domaines et des
contraintes spécifiques. L'implémentation pratique utilise le langage Prolog et le logiciel Scryer
Prolog, et les résultats sont appliqués à un département universitaire. Cette approche permet de
générer des emplois du temps pour les groupes d'étudiants, les enseignants et les salles, tout en
optimisant le temps d'exécution.
Description
Keywords
planification automatique, emploi du temps universitaire, problème de satisfaction de contraintes (CSP)