Author: Karen Myers

  • The Generic Frame Protocol

    The Generic Frame Protocol (GFP) is an application program interface for accessing knowledge bases stored in frame knowledge representation systems (FRSs).

  • Planning and Reacting in Uncertain and Dynamic Environments

    The CYPRESS system is a domain-independent framework for defining persistent agents with this full range of behavior. It has been used for several demanding applications, including military operations, real-time tracking, and fault diagnosis.

  • CYPRESS: Planning and Reacting under Uncertainity

  • Integrating Planning and Reactive Control

    Agents situated in dynamic and unpredictable environments require several capabilities, including synthesizing and executing plans while continuing to be responsive to the world.

  • Hybrid Reasoning using Universal Attachment

    Universal attachment is a domain-independent mechanism for integrating diverse representation and reasoning methods into hybrid frameworks that contain a subsystem based on deduction over logical formulas.

  • SRI International FASTUS system MUC-6 test results and analysis

    The fundamental ideas behind FASTUS are retained in the current system: an architecture consisting of cascaded finite state transducers, each providing an additional level of analysis of the input, together with merging of the final results.

  • Reasoning with Analogical Representations

    The framework consists of a set of generic operations on analogical structures and accompanying inference methods for integrating analogical and sentential information.

  • Attachment Methods for Integration

  • Semi-autonomous Mapmaking and Navigation

    We describe an architecture of mobile robots based on the the concept of semi-autonomy that employs communication with a human advisor in order to simplify the tasks of map construction and navigation.

  • Automatically Generating Universal Attachments Through Compilation

    In this paper, we describe a compilation-based method for automatically generating new programs and new universal attachments to those programs given a base set of existing programs and universal attachments.

  • The Persistence of Derived Information

    In this paper, we illustrate how such inferences add a new dimension of complexity to reasoning about change and show that failure to allow for such inferences can result in an unwarranted loss of derived information.