Search
Now showing items 1-10 of 16
Neural Nets and Theories of Memory
(1963-03-01)
A number of models developed in work often called "neural-net" research may be of interest to physiologists working on the problem of memory. From this work comes a variety of ideas on how networks of neuron-like elements ...
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 ...
A Proposal to Investigate the Application of a Heuristic Theory of Tree Searching to a Chess Playing Program
(1963-02-01)
The problem of devising a mechanical procedure for playing chess is fundamentally the problem of searching the very large move-tree associated with a chess position. This tree-searching problem is representative of a large ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...