Nouveaux algorithmes pour la propagation de contraintes temporelles

Hany Tolba 1 François Charpillet 1 Jean-Paul Haton 1 Gérald Masini 1
1 SYCO - Basic Models and Applications of Perceptive and Cognitive Processes
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Type de document :
Rapport
[Rapport de recherche] RR-1458, INRIA. 1991, pp.17
Liste complète des métadonnées

https://hal.inria.fr/inria-00075103
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 17:25:35
Dernière modification le : jeudi 11 janvier 2018 - 06:20:00
Document(s) archivé(s) le : mardi 12 avril 2011 - 21:08:36

Fichiers

Identifiants

  • HAL Id : inria-00075103, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

217

Téléchargements de fichiers

142