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