Détail d'une fiche

BOREAL (SR0924BR)

Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Donnés

Statut: Décision signée

Responsable : Federico Ulliana

Mots-clés de "A - Thèmes de recherche en Sciences du numérique - 2023" : A3.1. Données , A3.2. Connaissances , A7.1.3. Algorithmique des graphes , A7.2. Logique , A9. Intelligence artificielle , A9.1. Connaissances , A9.8. Raisonnement

Mots-clés de "B - Autres sciences et domaines d'application - 2023" : B3.5. Agronomie , B6.5. Systèmes d'information

Domaine : Perception, Cognition, Interaction
Thème : Représentation et traitement des données et des connaissances

Période : 01/06/2022 -> 31/05/2026
Dates d'évaluation :

Etablissement(s) de rattachement : U. MONTPELLIER, INRAE
Laboratoire(s) partenaire(s) : LIRMM, UMR IATE (1208)

CRI : Centre Inria d'Université Côte d'Azur
Localisation : Antenne Inria Montpellier - Université Montpellier
Code structure Inria : 041169-0

Numéro RNSR : 202224285F
N° de structure Inria: SR0924BR

Présentation

Les systèmes d'information actuels sont basés sur l'exploitation de données provenant d'un nombre croissant de sources hétérogènes. Pour maîtriser la variété des données, il est nécessaire de développer des paradigmes d'accès aux données qui s'adaptent aux différents types de sources, ainsi que des langages déclaratifs de haut niveau assurant le traitement de ces données et leur qualité. L'équipe BOREAL s'intéresse aux problématiques de raisonnement, à la fois fondamentales et appliquées, dans un contexte de variété des données. Son expertise en représentation de connaissances et raisonnement automatique est mise au service de la conception de nouvelles techniques pour la gestion de données hétérogènes et fédérées, qui s'appuient en particulier sur des langages expressifs à base de règles.

Axes de recherche

L'équipe s'intéresse à un ensemble de questions liées à la gestion de données basée sur des connaissances, notamment :

- Fondements des langages à base de règles (Règles Existentielles, Logiques de Description)
- Algorithmes et optimisations pour raisonner sur les données
- Architectures et langages pour l'intégration de données hétérogènes
- Gestion des incohérences dans l'interrogation des données
- Qualité des systèmes d'intégration de données à base de connaissances
- Explication des raisonnements