Actions & Plans in ELAN - Archive ouverte HAL Access content directly
Conference Papers Year : 1998

Actions & Plans in ELAN

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.
Fichier principal
Vignette du fichier
98-R-275.pdf (158.41 Ko) Télécharger le fichier

Dates and versions

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

Identifiers

  • HAL Id : inria-00098714 , version 1

Cite

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⟩
38 View
25 Download

Share

Gmail Facebook Twitter LinkedIn More