Programme des journées

Transcription

1 Programme des journées Réunion T4 (compilation) reportée au 11 avril Réunion T2 hier après midi Réunion T3/T5 - ce matin, 8h30-10h Discussion du protocole commun d'expérimentation Réunion Pleiniere 10h-12h30: Expose Résolution Interactive / constraint based configuration Daniel Leberre - Maintien de la cohérence inverse globale : approche SAT Olivier Lhomme - Maintien de la cohérence inverse globale : prise en compte algorithmique de structures propres a la configuration en CP Laurent Simon - Just-In-Time Compilation of Knowledge Bases Cedric Piette - An Effective Distributed D&C Approach for the Satisfiability Problem 14h-14h30: Point d'avancement 14h30-18h: Exposes T1 (besoins) + T2 (recommentation / apprentissage) + T4 (compilation) Laurent Cosserat - Configuration de Taux Remi Coletta - Recommandation large echelle Nadjib Laazar - Solve a Constraint Problem Without Modeling It Damien Bigot- (ou J. Mengin ou B. Zanutinni) - Learning Probabilistic cp nets Nicolas Schmidt - Compilation pratique des diagrammes de décision valués (Hélène Fargier - Une carte de compilation des diagrammes de décision valués)

2 Modèles et algorithmes pour le conseil et la gestion des préférences en configuration de produit Compte rendu d avancement au 25 mars 2014

3 Avancement des tâches T1 Analyse du problème et case study - over T2 Apprentissage -> J.M / F. K Compilation historiques, naive bayes, apprentissage GAI, Apprentissage CP net probabiliste, contraintes? + rapport théorique Penser au deliverable de fin de projet (algos, sources, résultats expes) T3 Configuration à base de contraintes Maintien des domaines alternatifs, propagation et optionalité CSP: maintien de la cohérence globale inverse Prouveur SAT incrémental pour les impliqués premiers, avec prix CPLEX? T4 Compilation pour la configuration-> S.C Diagrammes de décision valués, carte langages heterogènes, Arbres affines Carte de compilation (langages Booléens) Carte Diagrammes de décision valués + implémentation et tests T5 Validation Protocole de validation et scenarios en fin de construction Plateforme d expérimentation commune (stage Y. Izza) T0 - Pilotage

4 Deliverables Quand Quoi Janv - 13 Rapport T0+12 Qui(pers in charge) Etat Case study J.M. Astesana Analyse des besoins O. Lhomme Etat de l art recommandation J. Mengin Rapport T0+18 (mi parcours) Juil -13 Rapport T2 (resultats theo.) F. Korriche, J. Mengin Juil - 13 Protocole T5 /J.M. Astesana bien avancé Dec-13 Rapport T4: Compilation map Dec-13 Analyse «theorique» (algos) T3 D. Le Berre Dec-13 Resultats individuels T5 D. Le Berre Janv - 12 Rapport T0+18 (mi parcours) Janv - 12 Rapport T0+18 (mi parcours) Juin - 14 Rapport T0+30 (forme rapport final) Juin - 14 Algos compilation Dec - 14 Sources T2, T3, T3, resultats expes J. Mengin/ F. Korriche, D. Leberre/,

5 Résumé des Liverables 6 mois 12 mois 18 mois 24 mois 30 mois 36 mois 1. Etude prélim. O. Lhomme Analyse J.M Astesana Jeu essai 2. Apprentissage F. Korriche/ J. Mengin Biblio recomendation Resultats Théoriques Sources, Res. expés 3. CBC Algos Sources, Res. expés D. Leberre 4. Compilation KC Map Algos Source, Expés 5. Comparaison Protocole Résultats individuels Sources, Res. expés 6. Avancement Initial T+12 Intermediaire T+24 T+30 Fin projet. Resp. partenaire et taches Resp. partenaire Revue à mi- parcours Colloque ANR

6 Difficultés Sortants / Entrants Rapports / Livrables Timing à deux/trois mois près dans certains cas Prochain rapport juin sous la forme de rapport final Publis: sur des travaux réalisés *depuis le début du projet* (et ANR et/ou config) Revue à mi parcours retour informel T1,T3,T4, T1/T5 ok T2 Changements (post doc, sujets) ok Critère d évaluation = publi dans une revue recommandation Répondre au moins un peu, à ce qu on a écrit dans la propal Publi commune LIRMM + X Le pôle de compétitivité?