ESL: a language for supporting robust plan execution in embedded autonomous agents

Author

Gat, Erann

Author_Institution

Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA

Volume

1

fYear

1997

fDate

1-8 Feb 1997

Firstpage

319

Abstract

ESL (Execution Support Language) is a language for encoding execution knowledge in embedded autonomous agents. It is similar in spirit to RAPs (1989), RS (1983), and RPL Reactive Plan Language, and its design owes much to these systems. Unlike its predecessors, ESL aims for a more utilitarian point in the design space. ESL was designed primarily to be a powerful and easy-to-use tool, not to serve as a representation for automated reasoning or formal analysis (although nothing precludes its use for these purposes). ESL consists of several sets of loosely coupled features that can be composed in arbitrary ways. It is currently implemented as a set of extensions to Common Lisp, and is being used to build the executive component of a control architecture for an autonomous spacecraft

Keywords

LISP; aerospace computing; aerospace control; backtracking; command and control systems; computerised navigation; control system CAD; exception handling; fault location; inference mechanisms; intelligent control; knowledge representation5614539; navigation; planning (artificial intelligence); real-time systems; robust control; scheduling; search problems; software agents; special purpose computers; temporal reasoning; virtual reality; Common Lisp; ESL; Execution Support Language; Reactive Plan Language; automated reasoning; autonomous spacecraft; embedded autonomous agents; formal analysis; robust plan execution; Autonomous agents; Computer architecture; Content management; Contingency management; Databases; Encoding; Laboratories; Propulsion; Robustness; Space vehicles;

fLanguage

English

Publisher

ieee

Conference_Titel

Aerospace Conference, 1997. Proceedings., IEEE

Conference_Location

Snowmass at Aspen, CO

Print_ISBN

0-7803-3741-7

Type

conf

DOI

10.1109/AERO.1997.574422

Filename

574422