Browsing Open Access Repositories by Issue Date
Now showing items 21-40 of 4204
-
Computer Representation of Semantic Information
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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
(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" ...
-
REVISED USER'S VERSION - Time Sharing LISP
(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
(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
(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 ...