Doctorant en IA - Logique dynamique pour la planification conformante et multi-agent épistémique

Description du Poste

Sujet De Thèse

Construire des plans afin de réaliser leurs buts - et plus généralement décider et apprendre comment agir - sont des problèmes fondamentaux pour des agents intelligents. Le focus traditionnel de la planification en IA est la génération de plans pour un agent individuel sous l'hypothèse qu'aucun autre agent n'intervienne et que l'agent planificateur possède une connaissance parfaite sur l'environnement et les pré- et post-conditions des actions. Des formes plus expressives de planification doivent tenir compte d'autres aspects tel que le raisonnement sur les croyances, buts, intentions et actions d'autres agents ('théorie de l'esprit') ; l'apprentissage à partir d'expériences passées ; la surveillance du résultat d'actions et l'apprentissage et la gestion de résultats possiblement non attendus.
Les candidats doivent proposer un bref projet de recherche relié à ces thèmes (max. 1 page).

La personne retenue travaillera sur les bases conceptuelles et formelles du formalisme de planification. Elle participera aux activités de recherche du département IA en particulier en présentant ses résultats dans des conférences nationales et internationales ainsi qu'à des séminaires du Département.
Nous cherchons un candidat ayant travaillé en représentation des connaissances et/ou apprentissage qui est intéressé par leur intégration dans le contexte de la planification.

Votre Environnement de Travail

L'Institut de Recherche en Informatique de Toulouse (IRIT) est un des plus grands laboratoires d'informatique en France. Son département AI a une longue tradition de recherche en représentation des connaissances et raisonnement. La personne recrutée travaillera sur le site de l'Université de Toulouse.

Rémunération et avantages

Rémunération

La rémunération est d'un minimum de 2300,00 € mensuel

Congés et RTT annuels

44 jours

Pratique et Indemnisation du TT

Pratique et indemnisation du TT

Transport

Prise en charge à 75% du coût et forfait mobilité durable jusqu’à 300€

À propos de l’offre

Référence de l’offre UMR5505-CHLBOU-112 Section(s) CN / Domaine de recherche Sciences informatiques : fondements de l'informatique, calculs, algorithmes, représentations, exploitations

À propos du CNRS

Le CNRS est un acteur majeur de la recherche fondamentale à une échelle mondiale. Le CNRS est le seul organisme français actif dans tous les domaines scientifiques. Sa position unique de multi-spécialiste lui permet d’associer les différentes disciplines pour affronter les défis les plus importants du monde contemporain, en lien avec les acteurs du changement.

Le CNRS

Les métiers de la recherche