Turning an action formalism into a planner : a case study

Joachim Hertzberg 1 Sylvie Thiébaux 2
2 REPCO - Knowledge Representation
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : The paper describes a case study that explores the idea of building a planner with a neat semantics of the plans it produces, by choosing some action formalism that is "ideal" for the planning application and building the planner accordingly. In general - and particularly so for the action formalism used in this study, which is quite expressive - this strategy is unlikely to yield fast and efficient planners if the formalism is used naively. Therefore, we adopt the idea that the planner approximates the theoretically ideal plans, where the approximation gets the closer, the more run time the planner is allowed. As the particular formalism underlying our study allows a significant degree of uncertainty to be modeled and copes with the ramification problem, we end up in a planner that is functionally comparable to modern anytime uncertainty planners, yet based on a neat formal semantics.
Type de document :
Rapport
[Research Report] RR-2036, INRIA. 1993
Liste complète des métadonnées

https://hal.inria.fr/inria-00074635
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 15:57:46
Dernière modification le : mercredi 11 avril 2018 - 01:51:01
Document(s) archivé(s) le : dimanche 4 avril 2010 - 22:21:18

Fichiers

Identifiants

  • HAL Id : inria-00074635, version 1

Citation

Joachim Hertzberg, Sylvie Thiébaux. Turning an action formalism into a planner : a case study. [Research Report] RR-2036, INRIA. 1993. 〈inria-00074635〉

Partager

Métriques

Consultations de la notice

128

Téléchargements de fichiers

135