Une méthode logico-sémantique d'interprétation d'observations spatiales numériques pour le raisonement spatio-temporel et la reconnaissance d'itinéraires

par Hervé Pensec

Thèse de doctorat en Informatique

Sous la direction de M. BORILLO.

Soutenue en 1996

à Toulouse 3 .

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    Les recherches presentees dans cette these s'inscrivent dans le cadre d'une collaboration entre l'equipe lrc et la sogerma-socea. L'objectif de ce travail est de definir des logiciels d'aide a la decision capables d'interpreter des sequences d'images prises par des cameras embarquees (eg. Cameras infra rouges). La methode proposee est fondee sur les modeles qui definissent la semantique de l'espace et du mouvement dans la langue. En partant de ces modeles nous definissons un systeme hybride capable de traduire les informations numeriques delivrees par des capteurs en des expressions logiques interpretant les observations et susceptibles d'etre exploitees par des raisonnements. Ce systeme articule trois composantes. La premiere calcule, a partir d'une prise instantanee d'information (une image), les relations mereo-topologiques verifiees entre les entites de la scene a cet instant precis. Ce type de relations permet d'exprimer la semantique de prepositions spatiales de la langue qui decrivent la localisation des entites mobiles lors de la prise. Nous definissons ensuite un systeme general de raisonnement temporel base sur la notion d'intervalles. Il s'agit d'un systeme de raisonnement temporel non-monotone inspire du calcul d'evenements qui permet de distinguer des informations temporelles sures (pendant les periodes d'observation), des informations temporelles deduites par defaut lorsque l'on applique des postulats de persistance (en dehors des periodes d'observation). Ce calcul decide quel verbe de deplacement permet de decrire des observations

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : [10]-263 p

Où se trouve cette thèse ?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1996TOU30133
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.