Un algorithme générique d’extraction de bi-ensembles sous contraintes dans des données booléennes

نویسندگان

  • Jérémy Besson
  • Céline Robardet
  • Jean-François Boulicaut
چکیده

The availability of complete algorithms for constraint-based mining of formal concepts (e.g., frequent ones) enables to process large boolean datasets and can be used in many application domains. Considering noisy data, it seems important to extend formal concepts towards fault-tolerance. We embed formal concept extraction into a more general framework for constraint-based mining of bi-sets, i.e., computing associations of sets of objects with sets of attributes that satisfy some constraints. We propose an original, correct and complete algorithm for constraint-based bi-set mining. Its genericity supports the discussion of fundamental mechanisms like the declarative specification of the pattern properties, the enumeration and the constraint propagation strategies. Two concrete instances of this algorithm are presented and evaluated. Key-words: Data mining, formal concepts, fault-tolerance

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Co-classification sous contraintes par la somme des résidus quadratiques

Résumé. Dans de nombreuses applications, une co-classification est plus facile à interpréter qu’une classification mono-dimensionnelle. Il s’agit de calculer une bi-partition ou collection de co-clusters : chaque co-cluster est un groupe d’objets associé à un groupe d’attributs et les interprétations peuvent s’appuyer naturellement sur ces associations. Pour exploiter la connaissance du domaine...

متن کامل

Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs

Dans cet exposé, nous présentons notre algorithme amélioré [1] de localisation d’erreurs à partir de contreexemples, LocFaults, basé sur la programmation par contraintes et dirigé par les flots. Cet algorithme analyse les chemins du CFG (Control Flow Graph) du programme erroné pour calculer les sous-ensembles d’instructions suspectes permettant de corriger le programme. En effet, nous générons ...

متن کامل

Explications conviviales pour la programmation par contraintes

RÉSUMÉ. Dans cet article, nous présentons un ensemble d’outils pour fournir des explications conviviales dans un système de programmation par contraintes avec explications. L’idée est de représenter les contraintes d’un problème sous forme hiérarchique (un arbre). Les utilisateurs sont alors représentés comme un ensemble de noeuds compréhensibles dans cet arbre (une coupe). Les explications cla...

متن کامل

Typage des horloges périodiques en Lucy-n

Lucy-n est un langage permettant de programmer des réseaux de processus communiquant à travers des buffers de taille bornée. La taille des buffers et les rythmes d’exécution relatifs des processus sont calculés par une phase de typage appelée calcul d’horloge. Ce typage nécessite la résolution d’un ensemble de contraintes de sous-typage. L’an dernier, nous avons proposé un algorithme de résolut...

متن کامل

Efficient construction of the lattice of frequent closed patterns and simultaneous extraction of generic bases of rules

RÉSUMÉ – Durant ces dernières années, les quantités de données collectées, dans divers domaines d’application de l’informatique, deviennent de plus en plus importantes. Ces quantités suscitent le besoin d’analyse et d’interprétation afin d’en extraire des connaissances utiles. Dans ce travail, nous nous intéressons à la technique d’extraction des règles d’association à partir de larges contexte...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006