RS(ID:4963/rs:001)

Reactive planning language

Erran Gat JPL
References:
  • Erann Gat, "Integrating Reaction and Planning in aHeterogeneous Asynchronous Architecture forControlling Real World Mobile Robots," Proceedings of the Tenth National Conference on Artificial Intelligence (AAAI), 1992. view details
  • Erann Gat "ESL: A Language for Supporting Robust Plan Executionin Embedded Autonomous Agents" view details Abstract: ESL (Execution Support Language) is alanguage for encoding execution knowledge in embedded autonomous agents. It is similar in spirit to RAPs and RPL, and RS, and its design owes much tothese 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 Extract: Introduction
    ESL (Execution Support Language) is a language for encoding execution knowledge in embedded autonomous agents. It is designed to be the implementation substratefor the sequencing component of a three-layer architecture such as 3T or ATLANTIS. The sequencer in such an architecture coordinates the actions of a reactivec ontroller, which controls the agent's actions, and a deliberative component, which generates plans and performs other high-level computations. The sequencer must be able to respond quickly to events while bringing potentially large quantities of information - both knowledge and run-time data - to bear on its decisions. An implementation substrate for such a system should also be able to deal with a variety of different strategies for assigning responsibilities to the various layers, from mostly reactive strategies, to ones where the planner is the prime mover. pdf
          in Proceedings of the IEEE Aerospace Conference, 1997 view details