Logo LAAS-Carnot

Offres de recrutement et d’emploi au LAAS BOREAL 1.1.1

Stage

Visualisation du stage: STA640

Stage 2019-2020

A.BIT-MONNOT

RIS

ROB

satisfaction de contraintes, Planification, Optimisation combinatoire

Planification par contraintes pour la décision en robotique

La capacité pour un système autonome à planifier ses actions pour agir sur son environnement est l'un des piliers de l'intelligence et est essentielle pour permettre à un système de s'adapter à un grand nombre de tâches et d'environnements. Hors, si les systèmes robotiques actuels ont fait de grands progrès en termes de contrôle, leurs capacités à prendre des décisions complexes dans des environnements réalistes restent à désirer et limitent fortement la possibilité de les déployer.

L'objectif de ce stage est de fournir un outil de planification pouvant s'intégrer avec les autres modules intervenant dans les prises de décision d'un robot. Ce stage s'intéresse en particulier au développement de nouvelles méthodes pour la planification de tâches [@Ghallab2004] qui se basent sur les avancées récentes en décision discrète que ce soit du coté des approches par propagation de contraintes ou du coté des approches en raisonnement automatique (SAT/SMT). Le candidat sera chargé d'améliorer des compilations existantes ainsi que concevoir et implémenter des procédures de décisions ou propagateurs spécialisés pour les problèmes de planification.

Le candidat sera intégré à l'équipe Robotique et InteractionS (RIS) du LAAS. L'équipe RIS se positionne à l'intersection de l'IA et de la robotique afin de traiter les problèmes qui apparaissent dans les systèmes autonomes notamment lorsqu'ils sont amenés à interagir entre eux (systèmes multirobots) ou avec des êtres humains. Le sujet de ce stage est fortement accès sur l'IA (et en particulier dans le domaine de la planification de tâches) mais il est attendu que le stagiaire acquière une vue d'ensemble des méthodes mises en oeuvre dans l'architecture décisionnelle d'un robot tel que le PR2.

Des compétences dans le domaine de la décision et optimisation discrète seront des atouts pour ce stage : programmation par contraintes, programmation mathématique (LP), raisonnement automatique (SAT/SMT) recherche arborescente, planification et IA.

Master ou Ingénieur

Possibilité d'indemnisation

1

5 à 6 mois

Pour obtenir des informations complémentaires, contactez le responsable à cette adresse: