Artificial Intelligence Lab Publications: Recent submissions

Now showing items 19-21 of 1835

    • AMORD: A Deductive Procedure System 

      Sussman, Gerald Jay; Steele, Guy L. Jr.; Rich, Charles; Doyle, Jon; de Kleer, Johan (MIT Artificial Intelligence Laboratory, 1977-08)
      We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper is tutorial. We wish ...

    • A Method, Based on Plans, for Understanding How a Loop Implements a Computation 

      Waters, Richard C. (MIT Artificial Intelligence Laboratory, 1977-07)
      The plan method analyzes the structure of a program. The plan which results from applying the method represents this structure by specifying how the parts of the program interact. This paper demonstrates the utility of the ...

    • A History Keeping Debugging System for PLASMA 

      Morrison, Jerry Howard (MIT Artificial Intelligence Laboratory, 1977-05)
      PLASMA (for PLAnner-like System Modeled on Actors) is a message-passing computer language based on actor semantics. Since every event in the system is the receipt of a message actor by a target actor, a complete history ...