Nouveaux algorithmes pour la propagation de contraintes temporelles - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1991

Nouveaux algorithmes pour la propagation de contraintes temporelles

Résumé

Le temps joue un rôle notable dans le raisonnement lié à de nombreux domaines d'activité. Nous travaillons d'une part à la représentation du temps et à son utilisation dans le raisonnement. Nous cherchons notamment une représentation permettant de combiner les notions d'intervalles, d'instants et de durée. Dépendant de la complétude des informations temporelles dont on dispose, une représentation numérique ou symbolique du temps est utilisée. L'exploitation d'une telle représentation dans un raisonnement s'appuie sur un ensemble d'outils fondés notamment sur la technique des gestionnaires de graphes temporels (TMM). Dans ce cadre nous avons développé un ensemble d'algorithmes de propagation de contraintes qui fonctionnent soit sur une représentation symbolique (par une extension de GAC4) soit une représentation numérique et discrète (ANGEL) du temps.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1458.pdf (744.67 Ko) Télécharger le fichier

Dates et versions

inria-00075103 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075103 , version 1

Citer

Hany Tolba, François Charpillet, Jean-Paul Haton, Gérald Masini. Nouveaux algorithmes pour la propagation de contraintes temporelles. [Rapport de recherche] RR-1458, INRIA. 1991, pp.17. ⟨inria-00075103⟩
116 Consultations
38 Téléchargements

Partager

Gmail Facebook X LinkedIn More