Main menu:Accueil | Recherche | Enseignement |

Thèmes de recherche

  • Fouille de données et Extraction de Connaissances dans les Bases de Données.
  • Programmation par contraintes.
  • Extraction de motifs sous contraintes n-aires (extraction d'ensembles de motifs).
  • Problèmes de satisfaction de contraintes quantifiées.

Thèse

Découverte de motifs n-aires utilisant la programmation par contraintes.

Résumé

La fouille de données et la Programmation Par Contraintes (PPC) sont deux domaines de l'informatique qui ont eu, jusqu'à très récemment, des destins séparés. Cette thèse est l'une des toutes premières à s'intéresser aux liens entre la fouille de données et la PPC, et notamment aux apports de cette dernière à l'extraction de motifs sous contraintes.
Différentes méthodes génériques pour la découverte de motifs locaux ont été proposées. Mais, ces méthodes ne prennent pas en considération le fait que l'intérêt d'un motif dépend souvent d'autres motifs. Un tel motif est appelé motif n-aire. Très peu de travaux concernant l'extraction de motifs n-aires ont été menés et les méthodes développées sont toutes ad hoc. Cette thèse propose un cadre unifié pour modéliser et résoudre les contraintes n-aires en fouille de données.
Tout d'abord, l'extraction de motifs n-aires est modélisée sous forme de problème de satisfaction de contraintes (CSP). Puis, un langage de requêtes à base de contraintes de haut niveau est proposé. Ce langage permet d'exprimer une large panoplie de contraintes n-aires. Plusieurs méthodes de résolution sont développées et comparées.
Les apports principaux de ce cadre sont sa déclarativité et sa généricité. Il s'agit du premier cadre générique et flexible permettant la modélisation et la résolution de contraintes n-aires en fouille de données.

2012

Publications

  • J.-P. Métivier, P. Boizumault, B. Crémilleux, M. Khiari et S. Loudni. Constrained Clustering using SAT. In The Eleventh International Symposium on Intelligent Data Analysis (IDA 2012), pages 207-218, Helsinki, Finland, 2012.
  • M. Khiari, P. Boizumault, and B. Crémilleux. Combining CSP and constraint-based mining for pattern discovery. In Advances in Knowledge Discovery and Management (Post-EGC Selected Papers). Springer-Verlag, 2012. 20 pages.
  • M. Khiari, A. Lallouet, and J. Vautard. Extraction de motifs sous contraintes quantifiées. In 8-èmes Journées Francophones de Programmation par Contraintes (JFPC'12), 10 pages, Toulouse, 2012.
  • J.-P. Métivier, P. Boizumault, B. Crémilleux, M. Khiari et S. Loudni. Clustering sous contraintes à l'aide de SAT. In 8-èmes Journées Francophones de Programmation par Contraintes (JFPC'12), 10 pages, Toulouse, 2012.
  • J.-P. Métivier, P. Boizumault, B. Crémilleux, M. Khiari et S. Loudni. A constraint-based language for declarative pattern discovery. In 27th annual ACM Symposium on Applied Computing (SAC'12), pages 1-7, Riva del Garde (Trento), Italy.

2011

  • J.-P. Métivier, P. Boizumault, B. Crémilleux, M. Khiari et S. Loudni. A constraint-based language for declarative pattern discovery. In Workshop on Declarative Pattern Mining, ICDM 2011 : The 11th IEEE International Conference on Data Mining, pages 1112-1119, Vancouver, Canada.
  • P. Boizumault, B. Crémilleux, M. Khiari, S. Loudni, et J.-P. Métivier. Discovering knowledge using a constraint-based language. In Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201), 2011.
  • M. Khiari, P. Boizumault, and B. Crémilleux. A generic approach for modeling n-ary patterns. In 19th International Symposium on Methodologies for Intelligent Systems (ISMIS 2011), volume 6804 of LNAI, pages 300-305, Warsaw, Poland, June 2011. Springer-Verlag.

2010

  • M. Khiari, P. Boizumault, and B. Crémilleux. Constraint programming for mining n-ary patterns. In 16th International Conference on Principles and Practice of Constraint Programming (CP'10), volume 6308 of LNCS, pages 552-567, St Andrews, Scotland, September 2010. Springer-Verlag.
  • M. Khiari, P. Boizumault, and B. Crémilleux. Extraction de motifs n-aires utilisant la PPC. In 6-èmes Journées Francophones de Programmation par Contraintes (JFPC'10), pages 167-176, Caen, 2010.
  • M. Khiari, P. Boizumault, and B. Crémilleux. Combining CSP and constraint-based mining for pattern discovery. In International Conference on Computational Science and Its Applications (ICCSA 2010), volume 6017 of LNCS, pages 432-447, Fukuoka, Japan, March 2010. Springer-Verlag.
  • M. Khiari, P. Boizumault, and B. Cremilleux. Allier CSPs et motifs locaux pour la découverte de motifs sous contraintes n-aires. In Extraction et Gestion des Connaissances (EGC'10), volume RNTI-E-19 of Revue des Nouvelles Technologies de l'Information, pages 199-210, Hammamet, Tunisie, Janvier 2010. Cépaduès-Éditions.

2009

  • M. Khiari, P. Boizumault, and B. Crémilleux. Local constraint-based mining and set constraint programming for pattern discovery. In From Local Patterns to Global Models (LeGo-09), ECML/PKDD-09 Workshop, pages 61-76, Bled, Slovenia, 2009.