Cette journée est organisée à IMT Mines Albi dans le cadre du Groupe De Recherche Intelligence Artificielle sur les Aspects Formels et Algorithmiques de l'Intelligence Artificielle.

RAP , par csuderie

Journée Représentations et Algorithmes en Pratique

11 juin 2019 - 14h

IMT Mines Albi

INSCRIPTIONS

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.

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 )