Browsing AI Memos (1959 - 2004) by Author "Goldstein, Ira"

Now showing items 1-7 of 7

    • Artificial Intelligence, Language and the Study of Knowledge 

      Goldstein, Ira; Papert, Seymour A. (1975-07-01)
      This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence ...

    • The Computer as Coach: An Athletic Paradigm for Intellectual Education 

      Goldstein, Ira (1976-12-01)
      Over the next five years, computer games will find their way into a vast number of American homes, creating a unique educational opportunity: the development of "computer coaches" for the serious intellectual skills ...

    • Developing a Computational Representation for Problem Solving Skills 

      Goldstein, Ira (1978-10-01)
      This paper describes the evolution of a problem solving model over several generations of computer coaches. Computer coaching is a type of computer assisted instruction in which the coaching program observes the ...

    • Elementary Geometry Theorem Proving 

      Goldstein, Ira (1973-04-01)
      An elementary theorem prover for a small part of plane Euclidean geometry is presented. The purpose is to illustrate important problem solving concepts that naturally arise in building procedural models for mathematics.

    • LLOGO: An Implementation of LOGO in LISP 

      Goldstein, Ira; Lieberman, Henry; Bochner, Harry; Miller, Mark (1974-06-01)
      This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50 and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. ...

    • LLOGO: An Implementation of LOGO in LISP 

      Goldstein, Ira; Lieberman, Henry; Bochner, Harry; Miller, Mark (1975-03-01)
      This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50 and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. ...

    • Pretty-Printing, Converting List to Linear Structure 

      Goldstein, Ira (1973-02-01)
      Pretty-printing is the conversion of the list structure to a readable format. This paper outlines the computational problems encountered in such a task and documents the current algorithm in use.