Journées RAP– 18 novembre 2016 – Paris 6
https://www.gdria.fr/gt–rap
Les premières journées du groupe de travail Représentations et Algorithmes en Pratique (GT RAP – https://www.gdria.fr/
Les principaux objectifs considérés dans ce groupe de travail sont les suivants :
• Identifier les problèmes pratiques d’inférence et de prise de décision qui peuvent être maintenant traités grâce à des techniques d’intelligence artificielle, les modéliser et déterminer des représentations adaptées
• Développer des algorithmes pour les résoudre
• Proposer des protocoles expérimentaux permettant de comparer finement les algorithmes existants
• Étudier les passerelles permettant de partager des informations entre des modèles ainsi qu’entre des solveurs s’appuyant sur des langages de représentation différents
Le programme détaillé sera communiqué ultérieurement, mais la journée comportera les interventions suivantes:
• Frédéric Maris, « Planification par satisfaction de bases de clauses en pratique »
• Jean-Marie Lagniez, « Les solveurs SAT »
• Frédéric Lardeux, « Transformations de modèles »
ainsi qu’une session de discussion pour définir le programme de travail du groupe de travail.
Si vous désirez participer ou intervenir lors de ces journées, n’hésitez pas à nous contacter.
Les journées sont ouvertes à tous et l’inscription est gratuite mais obligatoire avant le 10 novembre (contact: lagniez@cril.fr).
—
CRIL – CNRS UMR 8188 lagniez@cril.fr
Université d’Artois http://www.cril.fr/~lagniez