Journée RAP – 11 juin 2019 – Albi

Ces journées sont organisées à l’IMT Mines Albi dans le cadre du GDR IA sur les Aspects Formels et Algorithmiques de l’Intelligence Artificielle le 11 juin 2019.

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

Cette journée du 11 juin sera consacrée aux transformations de modèles entre différents paradigmes tels que SAT et CSP. Elle commencera à 14h00 et se terminera vers 17h00.

Au programme :

– Contraintes arithmétiques et SAT (Claudia Vasconcellos Gaete – Université d’Angers)

– Quelques remarques et idées à propos de la reformulation de contraintes (Olivier Bailleux – Université de Bourgogne)

– Un problème de logistique portuaire codé en SAT (Matteo PETRIS – Université de Venise )

Toute personne souhaitant présenter des résultats ou proposer des problèmes est invitée à prendre (rapidement) contact avec nous.