Nouveaux algorithmes pour la propagation de contraintes temporelles - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1991

Nouveaux algorithmes pour la propagation de contraintes temporelles

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00075103 , version 1

Cite

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⟩
114 View
38 Download

Share

Gmail Facebook Twitter LinkedIn More