Actions & Plans in ELAN - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 1998

Actions & Plans in ELAN

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
98-R-275.pdf (158.41 Ko) Télécharger le fichier

Dates et versions

inria-00098714 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00098714 , version 1

Citer

Hubert Dubois, Hélène Kirchner. Actions & Plans in ELAN. Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, B. GRAMLICH & F. PFENNING, 1998, Lindau, Germany, pp.35-45. ⟨inria-00098714⟩
41 Consultations
33 Téléchargements

Partager

Gmail Facebook X LinkedIn More