Artificial Intelligence Lab Publications: Recent submissions

Now showing items 34-36 of 1835

    • Plan Verification in a Programmer's Apprentice 

      Shrobe, Howard Elliot (MIT Artificial Intelligence Laboratory, 1978-01)
      Brief Statement of the Problem: An interactive programming environment called the Programmer's Apprentice is described. Intended for use by the expert programmer in the process of program design and maintenance, the ...

    • Plan Recognition in a Programmer's Apprentice 

      Rich, Charles (MIT Artificial Intelligence Laboratory, 1977-05)
      Brief Statement of the Problem: Stated most generally, the proposed research is concerned with understanding and representing the teleological structure of engineered devices. More specifically, I propose to study the ...

    • A Theory of Plans for Electronic Circuits 

      de Kleer, Johan (MIT Artificial Intelligence Laboratory, 1977-04)
      A plan for a device assigns purposes to each of the more primitive components and explains how these components interact to achieve the desired behavior of the composite device. Such an information structure is critically ...