PDIA 2019

L’Association Française pour l’Intelligence Artificielle (AFIA) organise sa sixième journée PERSPECTIVES ET DEFIS DE l’IA sur le thème : Contraintes et IA.

« La programmation par contraintes (PPC) représente une des meilleures avancées que l’informatique ait jamais réalisée pour se rapprocher du Graal de la programmation : l’utilisateur décrit le problème, l’ordinateur le résout » [E. Freuder]. Beaucoup de progrès, autant pratiques que théoriques, ont été effectués dans cette direction et il existe dorénavant des techniques et des solveurs permettant de résoudre des problèmes de grande complexité avec de nombreuses applications industrielles. La journée vise à dresser un panorama de la PPC, de ses applications récentes et de ses défis, au travers d’exposés et de tables rondes mêlant académiques et industriels. Il s’agit en effet d’un domaine de l’IA dans lequel académiques et industriels collaborent étroitement depuis longtemps et dont la synergie a conduit à la création d’un important éventail de solutions performantes et souvent ouvertes. Nous dresserons également un panorama des limites théoriques et pratiques des outils et approches actuelles.

La journée PDIA 2019 vise à présenter les grandes avancées de ces dernières années, autant du point de vue académique qu’industriel, tout en en présentant les grands défis du domaine. La journée est construite autour d’exposés scientifiques accessibles, de retours d’expériences d’industriels et de tables rondes favorisant une grande interaction.

Date : 10 Octobre 2019

Lieu : TOTEM / Institut des Systèmes Complexes, 11 Place Nationale, 75013 Paris

Programme

  • 8h30 Accueil :
  • 8h45 Ouverture de François Dardel (Président de l’Université Paris Descartes) et Yves Demazeau (Président de l’AFIA).
Session 1 : SAT, Contraintes et Applications
  • 9h00 « SAT et au delà : SAT4J » par Daniel le Berre (CRIL, Lens)
  • 9h30 « Le formalisme de contraintes XCSP3 » par Gilles Audemard (CRIL, Lens)
  • 10h00 Pause
Session 2 : Application de la CP dans l’industrie
  • 10h30 « La CP à Cosling : maintenance et autres problèmes industriels » par Jean-Guillaume Fages (Cosling)
  • 10h50 « Panorama des utilisations de la CP à DecisionBrain » par David Gravot (DecisionBrain)
  • 11h10 « Applications de la CP à Dassault Aviation » par Philippe Walter et/ou André Chamard (Dassault Aviation)
  • 11h30 : Table ronde « Rencontre Académie et Industrie autour des contraintes : l’expertise dans l’encodage ou dans les outils ? »
  • 12h30 Buffet
Session 3 : Contraintes Continues et Optimisation
  • 14h00 « Contraintes en Continue » par Marie Pelleau (I3S, Nice)
  • 14h30 « CP Optimizer pour la planification et l’ordonnancement » par Philippe Laborie (IBM)
  • 15h00 « Exposé SAT et/OU Knowledge Compilation » par (Jean-Marie Lagniez (CRIL, Lens) et/ou Laurent Simon (LABRI, Bordeaux))
  • 15h30 « Compilation de connaissances à Renault » par Jean Marc Astesana (Renault)
  • 16h00 Pause
  • 16h30 : Table ronde « La CP face aux problèmes au delà de NP (comptage, minimisation, …) »
  • 17h00 Clôture

Organisation

Cet événement est organisé par Cet événement est organisé par Philippe Laborie, Jean Marie Lagniez et Laurent Simon pour l’AFIA.

Inscriptions

Les inscriptions à la journée (gratuites pour les membres de l’AFIA, 30 € sinon) sont obligatoires et à effectuer sur le site : https://afia.asso.fr/inscription-pdia/. Le déjeuner est offert aux personnes qui se seront inscrites à PDIA 2019 avant le 07/10/19, et seulement à celles-ci.