Common Knowledge Representation for Plan Generation and Reactive Execution.

摘要

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 a heuristically adequate representation that is useful in practical applications. It serves as an interlingua for Artificial Intelligence technologies in planning and reactive control. The design of the formalism is discussed and its use in practical applications is demonstrated. These applications show that the ACT representational constructs have reasonable computational properties and also are adequately expressive.