• Thèse soutenue le :
  • 2017-02-27

Le raisonnement spatial et temporel qualitatif est un domaine principal d’études de l’intelligence artificielle et, en particulier, du domaine de la représentation des connaissances, qui traite des concepts cognitifs fondamentaux de l’espace et du temps de manière abstraite. Dans notre thèse, nous nous focalisons sur les formalismes du domaine du raisonnement spatial et temporel qualitatif représentant les informations par des contraintes et apportons des contributions sur plusieurs aspects. En particulier, étant donnée des bases de connaissances d’informations qualitatives sur l’espace ou le temps, nous définissons des nouvelles conditions de consistance locale et des techniques associées afin de résoudre efficacement les problèmes fondamentaux se posant. Nous traitons notamment du problème de la satisfiabilité qui est le problème de décider s’il existe une interprétation quantitative de toutes les entités satisfaisant l’ensemble des contraintes qualitatives. Nous considérons également le problème de l’étiquetage minimal qui consiste à déterminer pour toutes les contraintes qualitatives les relations de base participant à au moins une solution ainsi que le problème de redondance consistant à déterminer les contraintes qualitatives non redondantes. En outre, nous enrichissons le domaine des formalismes spatio-temporels par des contributions concernant une logique spatio-temporelle combinant la logique temporelle propositionnelle (PTL) avec un langage de contraintes qualitatives spatiales et une étude de la problématique consistant à gérer une séquence temporelle de configurations spatiales qualitatives devant satisfaire des contraintes de transition.

Membres du jury:

  • Philippe Balbiani - Directeur de Recherche - CNRS-IRIT
  • Maroua Bouzid - Professeur des Universités - Université de Caen
  • Mehul Bhat - Professor - Universität Bremen
  • Bertrand Mazure - Professeur des Universités - Université d’Artois (Co-directeur)
  • Jean-François Condotta - Professeur des Universités - Université d’Artois (Co-directeur)
  • Yakoub Salhi - Maître de Conférences - Université d’Artois (Co-encadrant)
  • Gérard Ligozat - Professeur émérite - Université Paris-Sud (Invité)