Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Issue Date
Now showing items 2140 of 2625

A Proposal for a Geometry Theorem Proving Program
(19630901)During the last half of the nineteenth century the need for formal methods of proof became evident to mathematicians who were making such confidenceshaking discoveries as nonEuclidean geometry. The demand is not to be ...

MACRO Definitions for LISP
(19631001)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 ManipulationDisplay System
(19631101)Mathscope: A compiler for twodimensional mathematical picture syntax. Mathscope is a proposed program for displaying publicationquality mathematical expressions given symbolic (liststructure) representations of the ...

Recent Improvements in DDT
(19631101)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 QuestionAnswering System
(19631101)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
(19631201)A principal limitation of LISP processors in many computations is that of inadequate primary randomaccess 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 FirstOrder NonLinear Differential Equations
(19631201)Derivator is a PDP1 program for examining the solutions to differential equations by inspection of a visual display of trajectories. Because fixedpoint arithmetic is used (in order to maintain visual display speeds), ...

A LISP Garbage Collector Algorithm Using Serial Secondary Storage
(19631227)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
(19640101)It would be useful to develop a combination typewriterplotter 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
(19640101)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
(19640301)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
(19640401)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
(19640501)These conventions are for the implementation of the new language on a large computer on which timesharing 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
(19640501)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 ...

SIR: A Computer Program for Semantic Information Retrieval
(19640601)SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability ...

HashCoding Functions of a Complex Variable
(19640625)A common operation in nonnumerical analysis is the comparison of symbolic mathematical expressions. Often equivalence under the algebraic and trigonometric relations can be determined with the high probability by hashcoding ...

String Manipulation in the New Language
(19640701)String manipulation can be made convenient within the *** language by implementing two functions: 1) match [workspace; pattern] and 2) construct {format;pmatch]. In this memo I describe how I think these two functions can ...

Proposed Instructions on the GE 635 for List Processing and Push Down Stacks
(19640901)The instructions that transmit data between the index registers and the memory work only on the left half (address) portion of memory. These instructions are LDXn (load index n from address of storage word). And STXn (store ...

Natural Language Input for a Computer Problem Solving System
(19640901)The STUDENT problem solving system, programmed in LISP, accepts as input a comfortable but restricted subset of English which can express a wide variety of algebra story problems. STUDENT finds the solution to a large ...

Unrecognizable Sets of Numbers
(19641101)When is a set A of positive integers, represented as binary numbers, "regular" in the sense that it is a set of sequences that can be recognized by a finitestate machine? Let pie A(n) be the number of members of A less ...