L’INTELLIGENCE SCIENTIFIQUE AU CŒUR D’UN MONDE NUMÉRIQUE
MENU
« Développer des solutions d’aide à la décision fondées sur notre expertise en IA exacte et transparente, centrées sur notre solver open-source Choco »
Rattachée au Laboratoire des Sciences du Numérique de Nantes, LS2N, cette équipe participe à l’ambition du laboratoire de structurer la recherche numérique en Pays de la Loire.
Elle mobilise des compétences scientifiques de haut niveau pour répondre aux défis scientifiques actuels en synergie avec des partenaires académiques et industriels.
Dynamique scientifique de l’équipe
Structuration par pôles
Science des Données et de la Décision – SDDConcevoir et développer des méthodes génériques pour la modélisation, l’intégration, l’optimisation, la décision et la restitution des résultats.
Composante(s) d’expertise associée(s) à l’équipe
Périmètre scientifique de l’équipe
Objectifs Scientifiques
L’équipe TASC développe des recherches en intelligence artificielle symbolique, avec un positionnement fort en programmation par contraintes (PPC) pour la résolution de problèmes combinatoires complexes. À l’interface de l’IA et de la recherche opérationnelle, ses travaux mobilisent des compétences en mathématiques discrètes, optimisation et informatique.
L’équipe structure ses recherches autour de trois axes complémentaires : les approches génériques d’aide à la décision, la fouille de données déclarative, ainsi que l’IA centrée sur l’humain et l’interaction. Elle développe des méthodes génériques intégrées au solveur open source Choco-solver, une plateforme de référence internationale qui constitue un vecteur majeur de diffusion scientifique et de transfert vers les communautés académiques et industrielles.
Domaines d’application
- Aéronautique et industrie (maintenance, planification, ordonnancement et supply chain),
- Santé (planification hospitalière et gestion des ressources humaines médicales),
- Systèmes distribués et Cloud/Fog Computing (allocation de ressources, reconfiguration et aide à la décision),
- Transition énergétique et mobilité (gestion de flottes de véhicules électriques et logistique énergétique),
- Environnement et biodiversité (planification écologique et gestion durable des territoires),
- Cybersécurité et cryptanalyse.
Plateformes logicielles et matérielles
Logiciels
CHOCO SOLVER
Bibliothèque logicielle open-source destinée à modéliser et résoudre des problèmes fortement combinatoires grâce à des techniques de programmation par contraintes.
Projets de recherche en cours
Pôle SDD- TASC
FIDD
Facilitated Exploration: Interactive Constraint-Driven Data Mining
Développer une exploration interactive des données fondée sur les contraintes et les préférences des utilisateurs
Pôle SDD- TASC
GMLaS
Discrete Graphical Model Learning and Solving using Data Mining And Deep Learning
Hybrider apprentissage automatique et raisonnement par contraintes pour résoudre des problèmes d’optimisation complexes