Browsing by Issue Date

Now showing items 21-40 of 4783

  • Computer Representation of Semantic Information 

    Unknown author (1963-04-01)
    A major obstacle in the development of learning machines, mechanical translation, advanced information retrieval systems, and other areas of artificial intelligence, has been the problem of defining, encoding, and representing ...

  • Universality of TAG Systems with P-2 

    Unknown author (1963-04-01)
    In the following sections we show, by a simple direct construction, that computations done by Turing machines can be duplicated by a very simple symbol manipulation process. The process is described by a simple form of ...

  • METEOR: A LISP Interpreter for String Transformations 

    Unknown author (1963-04-01)
    Conditional expressions, composition and recursion are the basic operations used in LISP to define functions on list structures. Any computable function of arbitrarily complex list structures may be described using these ...

  • Suggested Conventions for LISP Time-Sharing System 

    Unknown author (1963-04-01)
    Below is a list of suggested Conventions and De-bugging aids for LISP time-sharing. Any and all suggestions are encouraged and should be submitted in writing to R. A. Robnett in a hurry.

  • Proposal for a FAP Language Debugging Program 

    Unknown author (1963-06-01)
    A time-sharing system for the 7090 computer is being developed at the M.I.T. Computation Center whereby many users can communicate simultaneously with the computer through individual consoles. In the time-sharing ...

  • Primitive Recursion 

    Unknown author (1963-07-01)
    This is one of a series of memos concerning a logical system for proof-checking. It is not self-contained, but belongs with future memos which will describe a complete formal system with its intended interpretation and ...

  • A Proposal for a Geometry Theorem Proving Program 

    Unknown author (1963-09-01)
    During the last half of the nineteenth century the need for formal methods of proof became evident to mathematicians who were making such confidence-shaking discoveries as non-Euclidean geometry. The demand is not to be ...

  • MACRO Definitions for LISP 

    Unknown author (1963-10-01)
    In LISP 1.5 special forms are used for three logically separate purposes: a) to reach the alist, b) to allow functions to have an indefinite number of arguments, and c) to keep arguments from being evaluated. New LISP ...

  • MATHSCOPE Part I: A Proposal for a Mathematical Manipulation-Display System 

    Unknown author (1963-11-01)
    Mathscope: A compiler for two-dimensional mathematical picture syntax. Mathscope is a proposed program for displaying publication-quality mathematical expressions given symbolic (list-structure) representations of the ...

  • Recent Improvements in DDT 

    Unknown author (1963-11-01)
    This paper will report new developments and recent improvements to DDT. "Window DDT" now will remember undefined symbols and define them on a later command. Using sequence breaks, it can change the contents of memory while ...

  • Operation of a Semantic Question-Answering System 

    Unknown author (1963-11-01)
    A computer program has been written in the LISP programming language which accepts information and answers questions presented to it in a restricted form of natural English language. The program achieves its effects by ...

  • Secondary Storage in LISP 

    Unknown author (1963-12-01)
    A principal limitation of LISP processors in many computations is that of inadequate primary random-access storage. This paper explores several methods of using a secondary storage medum (such as drums, disk files or magetic ...

  • DERIVATOR I: A Program for Visual Inspection of Solutions to First-Order Non-Linear Differential Equations 

    Unknown author (1963-12-01)
    Derivator is a PDP-1 program for examining the solutions to differential equations by inspection of a visual display of trajectories. Because fixed-point arithmetic is used (in order to maintain visual display speeds), ...

  • A LISP Garbage Collector Algorithm Using Serial Secondary Storage 

    Unknown author (1963-12-27)
    This paper presents an algorithm for reclaiming unused free storage memory cells in LISP. It depends on availability of a fast secondary storage device, or a large block of available temporary storage. For this price, we ...

  • The Graphical Typewriter: A Versatile Remote Console Idea 

    Unknown author (1964-01-01)
    It would be useful to develop a combination typewriter-plotter along the lines described below. The device could be coupled to a telephone line with a reasonably small amount of electronics -- mostly relays.

  • LISP Exercises 

    Unknown author (1964-01-01)
    The following exercises are carefully graded to mesh with the sections in Chapter I, "The LISP Language", in the LISP 1.5 Programmer's Manual. Each exercise should be worked immediately after reading the manual section indicated.

  • Natural Language Input for a Computer Problem Solving System 

    Unknown author (1964-03-01)
    This paper describes a computer program which accepts and "understands" a comfortable, but restricted set of one natural language, English. Certain difficulties are inherent in this problem of making a machine "understand" ...


    Unknown author (1964-04-01)
    This memo describes changes to the LISP system by several people. The changes reduce printout and give the user more control over it. They also make it possible for LISP to communicate with the teletype and the disk. The ...

  • New Language Storage Conventions 

    Unknown author (1964-05-01)
    These conventions are for the implementation of the new language on a large computer on which time-sharing is the standard role of operation. Each user is at any time asigned a certain amount of primary storage. This ...

  • Syntax of the New Language 

    Unknown author (1964-05-01)
    This is a definition of the syntax of the *** language. It consists of modifications and extensions of the "Revised Report on the Algorithmic Language ALGOL 60" which is printed in the "Communications of the ACM", January ...