|
BR4CP
--- Les 25 et 26 juin au CRIL, Université d'Artois Lens
|
|
Lundi 25, 9h30 -12h :
Reunion du groupe "Compilation" (Tache 4)
+ Compte rendu à venir
(S. Coste)
+ Exposé :
+ Exposé :
* Un
cadre pour la
cartographie des
langages de
compilation : vers l'integration de langages de representations
heterogenes (A. Niveau)
+ Propositions pour les
mois à venirLundi 25, 9h30 -12h : 13h30 -16h : Reunion du groupe "Resolution interactive / search" (Tache 3)
+
Exposes:
+ Discussion des pistes de recherche de chacun; en particulier:
* C.
Bessiere / H. Fargier/ C.
Lecoutre: Approcher
la cohérence inverse globale
* C. Piette. Diagnostiquer l'incohérence
* C. Bessiere : Arc consistance dans les CSP dynamiques
+
Preparation de l'etat d'avancement T3* C. Piette. Diagnostiquer l'incohérence
* C. Bessiere : Arc consistance dans les CSP dynamiques
+ Discussion des pistes de recherche de chacun; en particulier:
* maitenance de domaines
alternatifs ;
* backtrack leger ;
* maintien et approximation de la cohérence globale invers des domaines (sur solveurs SAT ou CSP; maintien du prix min) ;
* utilisation d'explications (MUS) pour la modélisation et pour la confiugration en ligne ;
* gestion de variables optionnelles ;
* utilisation de modèles MIP pour la recommandation experte ou sur stock
* comparaison experimentale des approches (tache 5)
* configuration interactive sur moteur SAT incremental
* compilation à la volée et apprentissage de conflits
* backtrack leger ;
* maintien et approximation de la cohérence globale invers des domaines (sur solveurs SAT ou CSP; maintien du prix min) ;
* utilisation d'explications (MUS) pour la modélisation et pour la confiugration en ligne ;
* gestion de variables optionnelles ;
* utilisation de modèles MIP pour la recommandation experte ou sur stock
* comparaison experimentale des approches (tache 5)
* configuration interactive sur moteur SAT incremental
* compilation à la volée et apprentissage de conflits
Lundi 25, 16h00 -18h30 et Mardi 26,
11h-13h :
Reunions du groupe "Apprentissage" (Taches 1.1 et 2)
Dans le groupe apprentissage, nous avons fait deux réunions avec, au total,
quatre exposés et deux discussions.
* Un premier exposé sur les systèmes de recommandation par Elsa Negre, avec
une approche orientée bases de données.
* Un exposé sur l'apprentissage de GAI-nets par Damien Bigot.
* Un exposé sur l'apprentissage de préférences en configuration par Mathieu
Serrurier.
* Un exposé sur les systèmes de recommandation par Fred Koriche, avec
une approche plus orientée apprentissage automatique.
Une première discussion a été animée par Jérôme autour des exposés de Damien
et de Mathieu:
- GAI-nets versus CP-nets, VC-dimension (donc complexité d'échantillonnage)
relativement grande , quelques idées pour réduire la complexité
d'échantillonnage et de traiter les données bruitées.
- Différents paradigmes d'apprentissage pour la prédiction de solutions dans
les configurateurs, avantages et inconvénients d'une approche "naive Bayes".
Une seconde discussion a été animée par Fred Koriche autour des exposés sur
les systèmes de recommandation: Différences entre recommandation et
configuration: objets simples versus objets combinatoires, sparsité des notations en recommandation.
Mardi 26,
8h45--9h30 : Reunion du groupe "Compilation"
(Tache 4), suite
+
Exposé
* N. Schmidt
: VNNFs
et
Diagrammes de Decision Valués
Mardi 26,
9h30--10h30 : Reunion pleiniere: Pilotage
(voir les slides
et le rapport
d'avancement à six mois)
+ Difficultés de
l'accord
de consortium.
Elles sont liées à la propriété intellectuelle, les principes de l'université P. Sabatier étant en opposition avec ceux posés en préalable dans la propositions. Une voie de sortie serait de considérer que les industriels n'amenent que des resultats propres dans le projet, ce qui est cohérent avec la proposition où leurs travaux sont capturés dans des taches isolées.
+ Prochain deliverables:
rapport à six mois, analyse des besoins (dec 2012), état art recommandation (dec 2012), rapport à mi parcours (juillet 2012)
+ Points d'avancement des taches.
Elles sont liées à la propriété intellectuelle, les principes de l'université P. Sabatier étant en opposition avec ceux posés en préalable dans la propositions. Une voie de sortie serait de considérer que les industriels n'amenent que des resultats propres dans le projet, ce qui est cohérent avec la proposition où leurs travaux sont capturés dans des taches isolées.
+ Prochain deliverables:
rapport à six mois, analyse des besoins (dec 2012), état art recommandation (dec 2012), rapport à mi parcours (juillet 2012)
+ Points d'avancement des taches.
Mardi 26,
11h30-13h
Reunion
pleiniere et seconde réunion du groupe apprentissage
+ Exposé invité:
Arnaud Hubaux (Namur):
Software and Product
Configuration: One Wheel Is Enough!
voir egalement la video :
+ Presentation des benchs (L Cosserat, H. Fargier)
+ Analyse des besoins et discussion - Tache 1.1 (O. Lhomme)
voir egalement la video :
+ Presentation des benchs (L Cosserat, H. Fargier)
+ Analyse des besoins et discussion - Tache 1.1 (O. Lhomme)
+ Exposés:
* Problématique des
variables optionnelles (C. Becker)
* Etat de l'art sur les système des recommandation - Tache 1.2 (F. Koriche)
+ Discussion
des voies de recherche de chacun en Tache 2.
* Etat de l'art sur les système des recommandation - Tache 1.2 (F. Koriche)
• à partir des données Renault, apprendre un réseau Bayésien
• apprendre des probabilités de préférences
• trouver des modèles graphiques pour apprendre des item sets
• étudier le nombre d'exemples qu'il faut pour apprendre un réseau de contraintes
• apprendre des valeurs par défauts
• apprendre la structure compilée
• apprentissage d'un ordre d'importance
• étudier la recommandation de valeurs
+
Prochaine reunion: 8 et 9 janvier 2013, probablement au LIRMM; proposer
de co locater avec Lardon pour éviter que certains ne puissent pas
venir - ou si pas, essayer de ne pas etre trop près dans le temps d'une
reunion lardons• apprendre des probabilités de préférences
• trouver des modèles graphiques pour apprendre des item sets
• étudier le nombre d'exemples qu'il faut pour apprendre un réseau de contraintes
• apprendre des valeurs par défauts
• apprendre la structure compilée
• apprentissage d'un ordre d'importance
• étudier la recommandation de valeurs
Contact : H. Fargier
IRIT-Bureau 306
Université
Paul Sabatier
118 Route de Narbonne, 31062 Toulouse Cedex 04
Tél: (33) 05 61 55 82 97 Fax: (33) 05 61 55 62 39
fargier@irit.fr