Clustering sous contraintes utilisant SAT - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Clustering sous contraintes utilisant SAT

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-00810470 , version 1

Cite

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⟩
189 View
93 Download

Share

Gmail Facebook X LinkedIn More