Browsing by Issue Date
Now showing items 4160 of 4783

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 ...

CTSS LISP NoticeSupplement to A.I. Memo No. 67
(19641201)The LISP system (command version) has been updated. Bugs are corrected include: 1. out of pushdown list in compiled function will not transfer to 77777. 2. with compiler printing turned off by comprint, it is truly off. ...

Television CameraToComputer Adapter: PDP6 Device 770
(19650101)The TVA (Television Adaptor) is a datainput device just completed. Any standard ClosedCircuit Television Camera can be connected to the PDP6, without modification, by a single BNC connector. Then a simple program can ...

The COMIT Feature in LISP II
(19650201)The purpose of COMIT feature is to facilitate certain types of list manipulations in LISP II. This feature is a syntactic convenience, rather than an extension of the semantics of LISP. It permits the programmer to test ...

Matter, Mind and Models
(19650301)This paper attempts to explain why people become confused by questions about the relation between menal and physical events. When a question leads to confused, inconsistent answers, this may be (1) because the question is ...

Topics in Model Theory
(19650501)The concept of "free" as in free group and free semigroup is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.

PDP6 LISP InputOutput for the Display
(19650601)An intermediate level language for display programming has been embedded in LISP 1.5 The language is intended as a basis for higher analysis of display information. Through the construction of a hierarchy of LISP functions ...

PDP6 LISP InputOutput for the Dataphone
(19650601)A version of LISP 1.5 for the PDP6 Computer has been extended to include IO through the dataphone. This makes possible communication between programs running in Project MAC time sharing and LISP programs running on the ...

Computer Experiments in Finite Algebra
(19650601)The experiments described here concern an initial design for a computer system specifically for the handling of finite groups, rings, fields, semigroups, and vector spaces. The usefulness of such a system was discussed in ...

MAC PDP6 DECtape File Structure
(19650701)The MAC system programs, MACDMP, TECO, and MIDAS, assume a certain data structure on DECtapes which they handle. Each DECtape has 1100 blocks of 200 words, numbered 0 through 1077. Block 0 and blocks 1070 through 1077 are ...

PDP6 TECO
(19650701)TECO is a scopekeyboard text editor. It uses an online command language (which permits macrodefinitions, corditional, etc.) as well as text operations. The macro language permits the most sophisticated search, ...

Syntax and Display of Mathematical Expressions
(19650701)A LISP program converts a mathematical expression stored in list structure form, into a textbook style visual display. To do this, requires the selection and positioning of the individual symbols which make up the expression, ...

Use of MACDMP
(19650701)MACIMP is a PDP6 program which can load from DECtape to core memory, dump core onto DECtape, or verify a previously dumped filel against memory. Normally, just before it loads, it clears all of memory to 0 (except itself ...

Design of the Hand
(19650801)The following scheme for designing a generalpurpose manipulator organ has many theoretical attractions. The basic idea is perhaps best conceived as a theoretical, or mathematical, idea. While it is unlikely that the actual ...

A Theory of Computer Instructions
(19650901)This paper has arisen from an attempt to determine the nature of computer instructions from a viewpoint of general function and set theory. Mathematical machines, however the term is understood, are not adequate models for ...