Artificial Intelligence Lab Publications: Recent submissions

Now showing items 49-51 of 1835

    • Structured Planning and Debugging: A Linguistic Approach to Problem Solving 

      Miller, Mark L.; Goldstein, Ira P. (MIT Artificial Intelligence Laboratory, 1976-06-08)
      A structured approach to planning and debugging is obtained by using an Augmented Transition Network (ATN) to model the problem solving process. This proves to be a perspicuous representation for planning concepts including ...

    • Symbol IC-Evaluation as an Aid to Program Synthesis 

      Yonezawa, Akinori (MIT Artificial Intelligence Laboratory, 1976-04)
      Symbolic-evaluation is the process which abstractly evaluates an actor program and checks to see whether the program fulfills its contract (specification). In this paper, a formalism based on the conceptual representation ...

    • CGOL - an Alternative External Representation For LISP users 

      Pratt, Vaughan R. (MIT Artificial Intelligence Laboratory, 1976-03)
      Advantages of the standard external representation of LISP include its simple definition, its economical implementation and its convenient extensibility. These advantages have been gained by trading off syntactic variety ...