Plénières de COSI - 2018
- Intelligence Artificielle et Apprentissage Profond : Enjeux et Obstacles
- A venir
- Towards Cross-Fertilization between Data Mining and Constraints
Engelbert Mephu .
Eric Monfroy .
Lakhdar SAIS.
Intelligence Artificielle et Apprentissage Profond : Enjeux et Obstacles
A venir
Engelbert Mephu.
Université Clermont Auvergne, France.
A venir
A venir
Eric Monfroy.
Université de Nantes, France.
Towards Cross-Fertilization between Data Mining and Constraints
In this talk, we overview our contributions to data mining and more generally to the cross-fertilization between data mining, constraint programming and propositional satisfiability. We will focus on three contributions. First, we show how propositional satisfiability (SAT) can be used to model and solve problems in data mining. As an illustration, we present a SAT-based declarative approach for itemset, association rules and sequences mining. Then, we present an original use of data mining techniques to compress Boolean formulas. Finally, we discuss how symmetries widely investigated in Constraint Programming (CP) and Propositional Satisfiability (SAT) can be extended to deal with data mining problems. 
Lakhdar Sais.
Université d'Artois, Lens, France.