Contribution à l'étude du raisonnement temporel : eintégration des informations qualitatives et quantitatives et propagation de contraintes - Université de Lorraine Accéder directement au contenu
Thèse Année : 1992

A contribution to the study of temporal reasoning : eintegrating qualitative-quantitative information and propagation of constraints

Contribution à l'étude du raisonnement temporel : eintégration des informations qualitatives et quantitatives et propagation de contraintes

Hany Tolba
  • Fonction : Auteur
  • PersonId : 756550
  • IdRef : 13716419X

Résumé

Not available
Nous avons choisi un nouveau modèle de représentation des informations temporelles fondé sur la logique réifiée (l'algèbre d'intervalles). Nous avons étendu cette algèbre pour qu'elle intègre aussi bien les informations numériques que les informations symboliques. Cette représentation se base sur un domaine discret du temps ainsi que sur la notion de multi-granularité pour représenter les différentes granularités du temps. Les différentes tâches de raisonnement à effectuer par un gestionnaire de graphes temporels (TMM), ainsi que la nature hétérogène des contraintes temporelles nous ont amené à implanter une nouvelle méthode de propagation de contraintes temporelles. Elle consiste à séparer la propagation de ces deux types de contraintes et à échanger leurs résultats via un module de communication. Notre choix s'est porté sur l'algorithme optimal GAC4 que nous avons étendu pour prendre en compte le raisonnement temporel. Cependant, GAC4 souffre d'inconvénients tels que la consommation importante d'espace mémoire pendant le processus d'énumération. Nous avons implanté l'algorithme ANGEL pour vérifier la cohérence d'arcs. C'est un algorithme dynamique capable de faire face à un monde évolutif. Grâce à son aspect fonctionnel, un compromis entre l'espace mémoire, la vitesse d'exécution et la complexité a été trouvé. Un outil de raisonnement, TemPro, a été construit à partir de ces principes. Nous avons aussi défini un langage afin de gérer et d'interroger le graphe temporel. TemPro fonctionne en tant que boîte noire et ce langage sert d'interface entre l'outil et un moteur d'inférences. TemPro peut être utilisé pour des applications telles que l'ordonnancement de tâches, l'allocation de ressources, etc.
Fichier non déposé

Dates et versions

tel-01753509 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01753509 , version 1

Accès intranet

Citer

Hany Tolba. Contribution à l'étude du raisonnement temporel : eintégration des informations qualitatives et quantitatives et propagation de contraintes. Autre. Université Henri Poincaré - Nancy 1, 1992. Français. ⟨NNT : 1992NAN10394⟩. ⟨tel-01753509⟩
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More