Actions & Plans in ELAN

Hubert Dubois 1 Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : ELAN is a declarative language based on rewriting logic. The ELAN language is based on labelled conditional rewrite rules and on strategies for controlling their application. ELAN provides a strategy language to control labelled rules. In this paper we show how to use the ELAN strategy language for planning. We describe how to encode situations and actions and take advantage of ELAN strategies to build plans. We give an example of our approach by describing an elevator controller.
Type de document :
Communication dans un congrès
Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, 1998, Lindau, Germany, pp.35-45, 1998
Liste complète des métadonnées

https://hal.inria.fr/inria-00098714
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:19:15
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:41:19

Fichiers

Identifiants

  • HAL Id : inria-00098714, version 1

Collections

Citation

Hubert Dubois, Hélène Kirchner. Actions & Plans in ELAN. Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, 1998, Lindau, Germany, pp.35-45, 1998. 〈inria-00098714〉

Partager

Métriques

Consultations de la notice

53

Téléchargements de fichiers

32