Doctorant (H/F) en IA - Logique dynamique pour la planification conformante et multi-agent épistémique

<b>Domaine / Métier : </b>Recherche/Chercheuse / Chercheur<br /> <b>Nature de l'emploi : </b>Emploi ouvert uniquement aux contractuels<br /> <b>Description du poste : </b><br /> 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. Contexte : 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. <br /><br /> Contraintes et risques : <br /&g