A Common Knowledge Representation for Plan Generation and Reactive Execution
by Wilkins, D.
Technical Note 532
Institution: AI Center, SRI International
Address: 333 Ravenswood Ave, Menlo Park, CA 94025
This paper describes the ACT formalism, which is designed to encode the knowledge required to support both the generation of complex plans and reactive execution of those plans in dynamic environments. ACT is an heuristically adequate representation that is useful in practical applications and serves as an interlingua for Artificial Intelligence (AI) technologies in planning and reactive control. The design of the formalism is discussed and example uses from practical applications are presented. These applications show that the ACT representational constructs have reasonable computational properties as well as being adequately expressive.
|Wilkins, David E||Senior Computer Scientist|