Search
Now showing items 11-20 of 521
Spatial Knowledge
(1976-06-01)
This paper introduces a model of spatial cognition to describe the states of partial knowledge that people have about the spatial structure of a large-scale environment. Spatial knowledge has several different ...
A System for Understanding Mathematical FORTRAN Programs
(1976-08-01)
This paper proposes a system which, when implemented, will be able to understand mathematical FORTRAN programs such as those in the IBM Scientific Subroutine Package. The system takes, as input, a program and annotation ...
Overview of a Linguistic Theory of Design
(1977-02-01)
SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the authors' recent research on this theory is provided. SPADE borrows tools from ...
From Understanding Computation to Understanding Neural Circuitry
(1976-05-01)
The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of computation is expressed; (2) that at which the algorithms that implement a computation are characterized; ...
A Laboratory Environment for Applications Oriented Vision and Manipulation
(1976-05-01)
This report is a brief summary guide to work done in the M.I.T. Artificial Intelligence Laboratory directed at the production of tools for productivity technology research. For detailed coverage of the work, readers ...
Cooperative Computation of Stereo Disparity
(1976-06-01)
The extraction of stereo disparity information from two images depends upon establishing a correspondence between them. This article analyzes the nature of the correspondence computation, and derives a cooperative algorithm ...
Artificial Intelligence -- A Personal View
(1976-03-01)
The goal of A.I. is to identify and solve useful information processing problems. In so doing, two types of theory arise. Here, they are labelled Types 1 and 2, and their characteristics are outlined. This discussion creates ...
Physiology and Psychology of Color Vision -- A Review
(1976-08-01)
This paper is a review of the anatomy, physiology, and psychology of human color vision.
A Human Oriented Logic for Automatic Theorem Proving
(1972-10-01)
The automation of first order logic has received comparatively little attention from researcher intent upon synthesizing the theorem proving mechanism used by humans. The dominant point of view [15], [18] has been that ...
Proposal to ARPA for Continued Research on A.I.
(1972-10-01)
The Artificial Intelligence Laboratory proposes to continue its work on a group of closely interconnected projects, all bearing on questions about how to make computers able to use more sophisticated kinds of knowledge ...