Diversification des solutions en programmation par contraintes : approche & application à la fouille de motifs
Séminaire organisé par Arnold HIEN (LIFO) le 24/11/2025.
La répétition systématique des mêmes activités au fil du temps est susceptible d'engendrer une lassitude chez l'individu. De même, un outil générant des solutions présentant des similitudes marquées peut se révéler monotone et, par conséquent, inadapté aux exigences spécifiques de certains utilisateurs. Dans cette présentation, je m'intéresse au problème de diversifications des solutions en programmation par contraintes (PPC). La PPC est un paradigme qui sépare la modélisation des problèmes de leur résolution. Elle offre un outil générique et puissant pour résoudre différentes tâches. La résolution de ces problèmes peut conduire à la production de différents ensembles de solutions. En effet, ces derniers sont fonction des techniques de résolution utilisées, mais également des contraintes posées dans le modèle.
Dans ce séminaire, je parlerai de différentes approches de diversification des solutions en PPC, avec un focus sur la fouille de motifs.