A Constraint-based Language for Declarative Pattern Discovery

Jean-Philippe Metivier (1) , Patrice Boizumault (1) , Bruno Crémilleux (1) , Medhi Khiari (2) , Samir Loudni (1)

1 Equipe CODAG - Laboratoire GREYC - UMR6072
2 GREYC - Groupe de Recherche en Informatique, Image et Instrumentation de Caen

Discovering pattern sets or global patterns is an attractive issue from the pattern mining community in order to provide useful information. By combining local patterns satisfying a joint meaning, this approach produces patterns of higher level and thus more useful for the end-user than the usual local patterns. In parallel, recent works investigating relationships between data mining and constraint programming (CP) show that the CP paradigm is a powerful framework to model and mine patterns in a declarative and generic way. We present a constraint-based language which enables us to define queries in a declarative way addressing patterns sets and global patterns. By specifying what the task is, rather than providing how the solution should be computed, it is easy to process by stepwise refinements to successfully discover global patterns. The usefulness of the approach is highlighted by several examples coming from the clustering based on associations. All primitive constraints of the language are modeled and solved using the SAT framework. We illustrate the efficiency of our approach through several experiments.

Domaines: Intelligence artificielle [cs.AI]; Traitement du texte et du document; Apprentissage [cs.LG]

Jean-Philippe Metivier, Patrice Boizumault, Bruno Crémilleux, Medhi Khiari, Samir Loudni. A Constraint-based Language for Declarative Pattern Discovery. Data Mining Workshops (ICDMW), 2011 IEEE 11th International Conference on, Dec 2011, vancouver, Canada. p.1112-1119, ⟨10.1109/ICDMW.2011.11⟩. ⟨hal-01017223⟩