A Common Knowledge Representation for Plan Generation and Reactive Execution

Citation

Wilkins, D. E., & Myers, K. L. (1995). A common knowledge representation for plan generation and reactive execution. Journal of Logic and Computation, 5(6), 731-761.

Abstract

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.

↓ Download

Read more from SRI

  • surgeons around a surgical robot

    The SRI research behind today’s surgical robotics

    Intuitive’s da Vinci 5 system represents a major leap in robotic-assisted medicine. It all started at SRI, which continues to advance teleoperation technologies.

  • a collage of digital graphs

    A banner year for quantum

    SRI-managed QED-C’s annual report on quantum trends captures an industry accelerating rapidly from technical promise toward major global impact.

  • ICE Cube containing SRI’s aerogel experiment, photographed prior to launch. Source: Aerospace Applications North America

    An SRI carbon capture experiment launches into space

    By synthesizing carbon-absorbing aerogels in microgravity, SRI research will give us a rare glimpse into how these materials could be radically improved.