Le stage se déroulera au sein du Laboratoire d'ingénierie des langages exécutables et optimisation (LIDEO) du CEA LIST. Ce laboratoire développe des méthodes et des outils pour la modélisation, la simulation et l'optimisation de systèmes complexes. Pour répondre aux nouvelles demandes de l'ingénierie et de la société, le laboratoire souhaite élaborer une démarche outillée d'assistance au raisonnement basée sur des techniques d'IA et/ou de raisonnement qualitatif. Lors de projets industriels en cours auxquels participe le laboratoire – dont un projet lié aux véhicules autonomes - ont été démontrés la pertinence et le bénéfice que pouvait apporter le raisonnement qualitatif pour résoudre des problèmes posés dans le cadre d'une physique simplifiée (dite physique naïve) et énoncés de manière abstraite. Le laboratoire souhaite élaborer une chaîne d'assistance au raisonnement dans la cadre de la physique naïve.

L'objectif du stage sera de contribuer à tout ou partie de la chaîne de traitement que souhaite développer le laboratoire, chaîne assistée ou automatique qui devra permettre la saisie de l'énoncé d'un problème jusqu'à sa résolution. Suivant son profil le candidat pourra focaliser sa contribution soit sur la partie modélisation de l'énoncé, soit sur la partie résolution, voire sur la partie capitalisation et réutilisation des connaissances acquises.