CAVIAR: Contraintes et Apprentissage

Presentation


L'objectif du groupe de travail CAVIAR est de rassembler des compétences autour de trois domaines de l'IA :

  • Programmation par contraintes
  • Apprentissage automatique
  • Fouille de données

CAVIAR fait non seulement intervenir des chercheurs en IA, mais aussi des chercheurs en BD, RO et GL. Le groupe de travail œuvrera pour faire émerger des collaborations à l'échelle nationale mais aussi pour donner une plus grande visibilité en France. 

 

Apprentissage/Fouille pour les Contraintes.


Ces dernières années, la communauté IA s'intéresse de plus en plus à l'utilisation de techniques d'apprentissage, de fouille et d'élicitation pour la résolution de problèmes. Par exemple :

  • Apprentissage automatique des contraintes (Acquisition de contraintes)
  • Elicitation des préférences
  • Solveurs adaptatifs basés sur l’apprentissage et la fouille
  • Fouille pour la découverte de structures en SAT/CSP

 

Contraintes pour Apprentissage/Fouille.


De manière symétrique, les techniques de programmation par contraintes et de gestion de préférences ouvrent de nombreuses perspectives de recherche en apprentissage et fouille de données. Par exemple :

  • Apprentissage de structures (ex: réseaux Bayésiens, réseaux profonds)

  • Clustering sous contraintes

  • Fouille de données  déclarative (modélisation de motifs sous contraintes)

  • Fouille de données avec préférences utilisateur 

  • ...

 

Applications

Les applications du groupe de travail CAVIAR couvrent naturellement les problèmes de programmation par contraintes, gestion de préférences et analyse de données, mais aussi des problèmes en génie logiciel, notamment la vérification et la sécurité logicielle.

 

 

Responsables :

 


Activites


Deuxième Journée CAVIAR :

Date : mardi 19 juin 2018

Lieu : LIRMM Montpellier - salle séminaire - bâtiment 4

 

 

Programme :

 

  • 9h-9h20 : café

  • 9h20-9h30 : ouverture de la journée CAVIAR. (Frederic & Nadjib) [slides]

  • 9h30-10h30 :  Contraintes globales pour la fouille de motifs séquentiels. (Samir Loudni) [slides]

  • 10h30-11h : pause café / discussions 

  • 11h-11h30 : Les approches clause-learning pour max clique et/ou graph coloring. (Emmanuel Hebrard) [slides]

  • 11h30-12h : Constraint-Based Generation of Trajectories for Single-Arm Robots. (Mathieu Collet)

  • 12h-13h : pause déjeuner

  • 13h-14h : Tutorial on maxSAT and WCSP. (George Katsirelos) [slides]

  • 14h-14h30 : Learning Boundaries for Constraint Optimization Problems.  (Arnaud Gotlieb)

  • 14h30-15h : Décomposition formellement vérifiée de contraintes non binaires en contraintes binaires équivalentes. (Catherine Dubois) [slides]

  • 15h-15h30 : Open Questions. (Frederic & Nadjib)  

  • 15h30-16h : pause café / discussions / clôture de la journée


 


Première Journée CAVIAR :

Date : vendredi 24 novembre 2017

Lieu : Jussieu - étage 1 - 25-26/105-Grande Salle

Programme :

 

  • 9h-9h20 : café

  • 9h20-9h30 : ouverture de la journée CAVIAR (Frederic Koriche & Nadjib Lazaar) [ slides ]

  • 9h30-10h30 : Towards cross-fertilization between Data Mining and Constraints. (Lakhdar Sais) [slides]

  • 10h30-11h : pause café / discussions

  • 11h-11h30 : Beyond the Holy Grail - Automatically Generating Constraint Propagators for Conjunctions of Time-Series Constraints. (Nicolas Beldiceanu) [slides]

  • 11h30-12h : Constraint Acquisition. ( Nadjib Lazaar) [slides]

  • 12h-13h : pause déjeuner

  • 13h-14h : Formal Verification, Constraints and AI. (Sébastien Bardin) [slides]

  • 14h-14h30 : Constraint Programming for Multi-criteria Conceptual Clustering. (Maxime Chabert) [slides]

  • 14h30-15h :  Adapting Consistency in Constraint Solving. (Anastasia Paparrizou )[slides]

  • 15h-16h : pause café / discussions / clôture de la journée



Photos [link]


Documents


 

  • Présentation du groupe de travail CAVIAR [doc][slides]
  • Organisation de la première journée CAVIAR (24/11/2017)[slides]

caviar mailing-list


S’inscrire (desinscrire) A la liste de diffusion - please send an email to Nadjib Lazaar.

 

eXTReMe Tracker