Contribution à l'étude des techniques de propagation de contraintes symboliques et numériques pour le raisonnement temporel

par Malek Mouhoub

Thèse de doctorat en Informatique

Sous la direction de Jean-Paul Haton.

Soutenue en 1996

à Nancy 1 , en partenariat avec Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (autre partenaire) .


  • Résumé

    Le but de ce travail est de fournir un modèle expressif de représentation des informations temporelles qualitatives et quantitatives indépendant de tout domaine d'application ainsi qu'un système de raisonnement capable de manipuler les informations représentées par ce modèle et fournir des résultats directement exploitables dans des délais de temps acceptables. Afin de répondre à ces besoins, nous avons défini un modèle qui généralise l'algèbre de Allen afin d'intégrer des informations métriques. L'objet temporel que nous manipulons est l'événement correspondant au couple (symbole [Phy], I) ou symbole [Phy] est une assertion logique atemporelle et I l'intervalle de temps durant lequel symbole [Phy] est vraie. Les informations symboliques sont traduites sous forme de disjonctions de relations de base définies par Allen permettant de situer deux événements temporels entre eux. Les informations numériques sont exprimées sous forme de domaines de variation attachés à chaque événement et permettant de situer ce dernier dans ou par rapport a un référentiel temporel. Le système de raisonnement que nous proposons, et permettant de résoudre des problèmes de contraintes temporelles symboliques et numériques représentés par notre modèle, est basé sur un algorithme de recherche de solutions avec retour arrière utilisant des algorithmes de consistance locale permettant de réduire la taille du problème à résoudre. Nous utilisons les algorithmes de consistance d'arcs sur les contraintes numériques et les algorithmes de consistance de chemins sur les contraintes symboliques. Afin d'améliorer les performances des algorithmes de consistance locale utilisés par notre algorithme général, nous avons introduit des heuristiques que nous avons définies en étudiant les propriétés des contraintes temporelles

  • Titre traduit

    Contribution to the study of qualitative and quantitative constraint propagation techniques for temporal reasoning


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (129 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : 69 références

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Le Mans Université (Le Mans). Service commun de documentation.
  • Consultable sur place dans l'établissement demandeur
  • Cote : MAG.4°1408
  • Bibliothèque : Université de Lorraine (Villers-lès-Nancy, Meurthe-et-Moselle). Direction de la Documentation - BU Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : MOUHOUB c

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-1996-MOU
  • 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.