Elements d'une theorie du mouvement pour la formalisation du raisonnement spatio-temporel de sens commun

par Philippe Muller

Thèse de doctorat en Sciences appliquées

Sous la direction de Mario Borillo.

Soutenue en 1998

à Toulouse 3 .

    mots clés mots clés


  • Résumé

    De nombreux travaux ont ete consacres ces dernieres annees a la construction de modeles de l'espace pour des formes de raisonnements fondes sur des informations incompletes ou imprecises et qui seraient plus exploitables que les modeles quantitatifs traditionnels. Ces travaux sont generalement regroupes sous l'appellation raisonnement spatial qualitatif (rsq). Peu d'etudes se sont consacrees au mouvement dans cette perspective, la representation du mouvement en ia etant generalement essentiellement quantitative et cartesienne. Nous proposons une theorie axiomatique de l'espace-temps qui permet d'exprimer certaines classe de mouvement et de raisonner sur ces classes dans un cadre qualitatif. La theorie porte sur des entites de l'espace-temps que l'on peut interpreter comme des trajectoires quadri-dimensionnelles d'objets. En utilisant une topologie sur ces trajectoires ajoutee a un equivalent de l'ordre temporel on peut redefinir un certain nombre de concepts dans cette theorie : les relations de allen, les relations spatiales rcc, et des classes de mouvement de base (dont la justification empirique emerge d'analyses linguistiques). Nous presentons certaines proprietes qui semblent montrer son adequation avec le sens commun, notamment la premiere caracterisation formelle et de la continuite du mouvement dans un cadre qualitatif. Le formalisme utilise permet egalement de representer une partie importante de la semantique des verbes de deplacements et de tester ainsi sa validite cognitive. De plus cela permet de construire un modele pour la representation d'itineraires qui evite certains inconvenients des modeles existants. Le tout est integre comme un module de representation de certaines configurations spatiales sur lesquelles il est possible de raisonner dans un systeme de description de scenes.

  • Titre traduit

    Elements of a theory of motion for commonsense spatio-temporal reasoning


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 235 P.
  • Annexes : 208 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1998TOU30262

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1998-MUL
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.