Extraction de Motifs sous Contraintes Quantifiées

Au cours des dernieres annees, des approches d'extraction de motifs en fouille de donnees utilisant la PPC on ete proposees. Ces approches ont montre leur utilite pour modeliser de maniere flexible une large panoplie de contraintes, notamment les contraintes portant sur plusieurs motifs. Neanmoins, ces approches se basent sur les CSPs ou toutes les variables sont quantifiees existentiellement. Or certaines requetes n-aires (requetes portant sur plusieurs motifs) requierent la quantification universelle pour etre modelisees de maniere concise et elegante, comme par exemple la requetes peak (un motif est considere comme pic si tous ses voisins ont une valeur, par rapport a une mesure, inferieure a un seuil donne). Nous proposons dans cet article un cadre generique permettant la modelisation et la resolution de problemes d'extraction de motifs sous contraintes quantifiees.