Accueil
Activités :
Les deux principaux domaines d’expertise de l’équipe ARCADE s’inscrivent dans les 2 thématiques « méthodes formelles » et « aide à la décision ». Dans ce périmètre, l’équipe ARCADE est active dans les différentes communautés disciplinaires (modélisation et vérification, approches catégoriques, décision algorithmique, préférences, choix social computationnel) avec des préoccupations applicatives. L’équipe participe aux projets fédérateurs du laboratoire MICS :
- Axe transverse « Intelligence Artificielle » en lien avec l’équipe GEMILA
- Rapprochement avec le CVN avec pour objectif la création de l’institut MICM
L’équipe ARCADE ambitionne d’exploiter la co-existence au sein de l’équipe de contributions en approches formelles et en aide à la décision pour favoriser le couplage « Approches formelles » et « Intelligence Artificielle » afin de contribuer aux enjeux de l’IA de confiance (équité, explicabilité et transparence, gestion des incertitudes, …) et de bénéficier des succès actuels des techniques d’apprentissage pour la modélisation et vérification des systèmes. Le couplage répond aux deux thèmes de recherche suivants :
- La confiance dans les systèmes mettant en jeu des algorithmes et outils d’intelligence artificielle devient un enjeu majeur, comparable à celui de la fiabilité des systèmes critiques étudiée à l’aide des méthodes formelles.
- Les outils d’IA commencent à être intégrés avec succès dans les méthodes de vali- dation et vérification (e.g. génération de cas de test, inférence de modèles formels à partir d’observations, aide à génération de code)
