Clustering sous contraintes utilisant SAT - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Clustering sous contraintes utilisant SAT

Résumé

Le clustering a pour objectif de partitionner un ensemble de données (transactions) en groupes (clusters) d'une manière telle que les transactions appartenant à un même cluster soient similaires mais différentes de celles appartenant aux autres clusters. Le clustering sous contraintes a pour objectif de trouver des clusters plus pertinents en spécifiant, sous forme de contraintes, les propriétés requises. Nous avons proposé [16] un langage à base de ontraintes pour l'extraction de motifs combinant plusieurs motifs locaux. Dans cet article, nous nous intéressons à la mise en œuvre en SAT de notre langage de contraintes. Pour cela, nous présentons le codage réalisé et nous montrons comment il tire partie des caractéristiques des solveurs SAT. Les expérimentations effectuées avec MiniSat montrent la faisabilité et l'intérêt de notre approche.
Fichier principal
Vignette du fichier
jfpc2012_submission_14.pdf (426 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00810470 , version 1 (10-04-2013)

Identifiants

  • HAL Id : hal-00810470 , version 1

Citer

Jean-Philippe Metivier, Patrice Boizumault, Bruno Crémilleux, Medhi Khiari, Loudni Samir. Clustering sous contraintes utilisant SAT. Journée francophones de programmation par contraintes, May 2012, Toulouse, France. ⟨hal-00810470⟩
201 Consultations
99 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More