Title :
ESL: a language for supporting robust plan execution in embedded autonomous agents
Author_Institution :
Jet Propulsion Lab., California Inst. of Technol., Pasadena, CA, USA
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;
Conference_Titel :
Aerospace Conference, 1997. Proceedings., IEEE
Conference_Location :
Snowmass at Aspen, CO
Print_ISBN :
0-7803-3741-7
DOI :
10.1109/AERO.1997.574422
