Une classe traitable de problèmes de planification temporelle

Résumé : Cet article présente une classe de problèmes de planification temporelle solubles en temps poly- nomial. Ce résultat découle de deux hypothèses. Nous supposons d'abord que les sous-buts ne peuvent être établis que par une action unique, ce qui nous permet de déterminer rapidement les actions qui sont nécessaires dans tous les plans. Nous supposons également que les sous-buts sont monotones, ce qui nous permet d'exprimer la planification comme une instance de STP≠ (Simple Temporal Problem, difference cons- traints). Notre classe contient des problèmes temporellement expressifs, ce que nous illus- trons avec un exemple de planification de pro- cessus chimique.
Type de document :
Communication dans un congrès
JFPC 2012, May 2012, Toulouse, France. 2012
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00809845
Contributeur : Pierre Régnier <>
Soumis le : mardi 9 avril 2013 - 22:49:42
Dernière modification le : mercredi 23 mai 2018 - 17:58:10
Document(s) archivé(s) le : lundi 3 avril 2017 - 03:22:48

Fichier

JFPC12.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00809845, version 1

Collections

Citation

Martin Cooper, Frédéric Maris, Pierre Régnier, Florian Franc. Une classe traitable de problèmes de planification temporelle. JFPC 2012, May 2012, Toulouse, France. 2012. 〈hal-00809845〉

Partager

Métriques

Consultations de la notice

152

Téléchargements de fichiers

90