Création d'une base de connaissances d'exemples (Valda, Michaël Thomazo)

La compréhension d'un domaine de recherche passe souvent par l'étude d'exemples ayant certaines propriétés. Le but de ce stage est de créer une base de connaissances d'exemples dans le cadre des règles existentielles (aussi connues sous le nom de « tuple-generating dependencies » ou de Datalog+/-), de manière à pouvoir répondre automatiquement à des questions du type : étant donnée une nouvelle propriété P, connaissons-nous des ensembles de règles ayant la propriété P mais pas la propriété P' ?

Le stage comprendra les étapes suivantes :

  • définir le schéma/l'ontologie de la base de connaissance. Dans la mesure du possible, ceci doit être fait de manière à pouvoir être réutilisé dans des domaines d'applications différents (i.e., ne plus considérer les règles existentielles, mais des classes de complexité par exemple)
  • peupler cette base de connaissances à l'aide de la littérature
  • proposer de nouveaux exemples/montrer leur inexistence de manière à compléter le panorama

Encadrant : Michaël Thomazo

Last modified: Tuesday, 4 September 2018, 9:56 AM