Contribution à l'étude du raisonnement temporel : eintégration des informations qualitatives et quantitatives et propagation de contraintes - Université de Lorraine Access content directly
Theses Year : 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
  • Function : Author
  • PersonId : 756550
  • IdRef : 13716419X

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : tel-01753509 , version 1

Intranet access

Cite

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⟩
14 View
0 Download

Share

Gmail Facebook X LinkedIn More