Ingénieur de recherche en IA (H/F)

ENVIRONNEMENT DE TRAVAIL (structure d'accueil du poste)

Le candidat mènera ses recherches au sein de l'équipe Valda du département d'informatique de l'ENS-PSL, dans le cadre du pôle d'intelligence artificielle PR[AI]RIE. Valda est une équipe mixte entre Inria, le CNRS et l'ENS-PSL. Plus d'informations sur Valda sont disponibles ici : https://team.inria.fr/valda/.

MISSION PRINCIPALE

La réponse aux requêtes médiée par des ontologies (ontology-mediated query answering, OMQA) vise à améliorer l'accès aux données en les enrichissant avec une ontologie qui exprime les connaissances du domaine [1]. Dans ce contexte, une ontologie est un ensemble de formules logiques, généralement exprimées dans une logique de description (description logic, DL) donnée [2]. Elle fournit un vocabulaire formalisé qui permet à un utilisateur de formuler des requêtes en termes familiers et d'obtenir des réponses plus complètes, car celles-ci reposent non seulement sur des faits explicitement stockés dans les données, mais aussi sur des faits déductibles par raisonnement logique à l'aide de l'ontologie. De nombreuses applications du monde réel nécessitant l'interrogation de données temporelles, diverses extensions du cadre OMQA ont été proposées pour intégrer la modélisation temporelle [3]. Nous avons récemment commencé à travailler sur une extension temporelle du langage DL EL introduit par Gutiérrez-Basulto et al. [4], dans laquelle les faits sont associés à des horodatages. Nous avons notamment identifié de nouveaux fragments décidables de ce langage et implémenté un raisonneur très préliminaire pour l'un d'eux, à l'aide d'un générateur d'analyseurs syntaxiques pour les grammaires conjonctives [5]. L'objectif de ce poste est de poursuivre ces travaux. Le but principal serait d'implémenter une version optimisée du raisonneur, mais nous accueillons également les contributions plus théoriques.

Le candidat devra contribuer à la recherche sur le raisonnement temporel avec des logiques de description, sous la direction des chercheurs de l'équipe Valda. Il/elle devra implémenter des algorithmes de raisonnement temporel et mener une évaluation expérimentale, incluant la création de benchmarks. Les résultats de la recherche se présenteront sous la forme de logiciels libres, de jeux de données publics et d'articles de recherche diffusés lors de conférences et dans des revues internationales.

ACTIVITES PRINCIPALES

-

Recherche sur le raisonnement temporel en logique de description.

-

Implémentation d'algorithmes et leur évaluation, création de benchmarks.

-

Rédaction d'articles de recherche.

CHAMPS DES RELATIONS

Internes :

Membres de l'équipe Valda, en particulier Camille Bourgaux et Michaël Thomazo

Externes :

Collaborateurs scientifiques dans d'autres établissements COMPETENCES ATTENDUES

Diplôme : Master en informatique

Expérience professionnelle : 1 à 4 ans d'expérience dans la recherche en informatique

Connaissances :

-

Très bonnes connaissances en logique de description et raisonnement temporel

-

Familiarité avec les grammaires formelles, les automates, etc.

Compétences techniques :

-

Recherche

-

Programmation (C++ de préférence)

-

Maîtrise de l'anglais scientifique, écrit et parlé

Compétences comportementales :

-

Travail en équipe

-

Autonomie Créée en 1794, l'École normale supérieure ENS-PSL est un établissement d'enseignement supérieur et de recherche dont l'activité recouvre l'essentiel des disciplines scientifiques et littéraires. Établissement d'élite qui recrute les tout meilleurs étudiants en France et à l'étranger, via le système des concours et des classes préparatoires, mais aussi par sélection sur dossier et entretien, l'ENS jouit d'un grand prestige international par la qualité de ses étudiants mais aussi par la réputation de ses centres de recherche, en particulier en mathématiques, physique, biologie, sciences cognitives, philosophie, et sciences de l'antiquité. L’École compte 37 unités mixtes de recherche.

L’École normale supérieure est membre de l’Université PSL.