Automates et programmation par contraintes pour la planification de personnel

Julien Menana 1, 2, 3
2 TASC - Theory, Algorithms and Systems for Constraints
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Résumé : Dès lors qu'une structure est organisée, la capacité de placer les bonnes personnes au bon moment devient cruciale pour satisfaire les besoins d'un service, d'une école ou d'une entreprise. On définit les problèmes de planification de personnel comme le procédé consistant à construire de manière optimisée les emplois du temps de travail du personnel. La motivation de cette thèse est de proposer un moyen d'exprimer ces problèmes de manière simple et automatique, sans avoir à intervenir ensuite dans le processus de résolution. Pour cela, nous proposons de rassembler le pouvoir de modélisation des automates avec la capacité de la programmation par contraintes à résoudre efficacement des problèmes complexes. Le caractère expressif des automates est ainsi utilisé pour modéliser des règles de séquencement complexes. Puis, afin d'intégrer ces automates multi-pondérés dans un modèle de programmation par contraintes, nous introduisons un nouvel algorithme de filtrage basé sur la relaxation lagrangienne : multicost-regular. Nous présentons également une version souple de cette contrainte permettant de pénaliser les violations d'une règle modélisée par un tel automate : soft-multicost-regular. Le modèle contraintes basé sur ces contraintes est automatiquement construit. Il est résolu à l'aide de la librairie de contraintes CHOCO et à été testé sur des instances réalistes issues des librairies ASAP et NRP10. La recherche de solution est améliorée par l'utilisation d'heuristiques spécifiques basées sur les regrets et s'appuyant sur la structure des contraintes multicost-regular et soft-multicost-regular.
Type de document :
Thèse
Intelligence artificielle [cs.AI]. Université de Nantes, 2011. Français
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00785838
Contributeur : Narendra Jussien <>
Soumis le : jeudi 7 février 2013 - 10:40:51
Dernière modification le : lundi 5 octobre 2015 - 16:57:03
Document(s) archivé(s) le : mercredi 8 mai 2013 - 03:52:39

Identifiants

  • HAL Id : tel-00785838, version 1

Collections

Citation

Julien Menana. Automates et programmation par contraintes pour la planification de personnel. Intelligence artificielle [cs.AI]. Université de Nantes, 2011. Français. <tel-00785838>

Partager

Métriques

Consultations de
la notice

541

Téléchargements du document

437