Search
Now showing items 1-10 of 41
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 ...
Efficiency of Equivalence Algorithms
(1972-04-01)
This paper was first presented at the Symposium on Complexity of Computer Computations, IBM Thomas J. Watson Research Center, Yorktown Heights, New York, on March 22, 1972. The equivalence problem is to determine the ...
Mini-Robot Proposal to ARPA
(1972-01-01)
During the next decade it will become practical to use more and more sophisticated techniques of automation--we shall call this "robotics"--both in established industries and in new areas. The rate at which these techniques ...
Why Conniving is Better than Plannng
(1972-04-01)
This paper is a critique of a computer programming language, Carl Hewitts PLANNER, a formalism designed especially to cope with the problems that Artificial Intelligence encounters. It is our contention that the ...
The Conniver Reference Manual
(1972-05-01)
This manual is intended to be a guide to the philosophy and use of the programming language CONNIVER, which is "complete," and running at the AI Lab now. It assumes good knowledge of LISP, but no knowledge of Micro-Planner, ...
11SIM Reference Manual
(1972-02-01)
A program that simulates a Digital Equipment Corporation PDP-11 computer and many of its peripherals on the AI Laboratory Time Sharing System (ITS) is described from a user's reference point of view. This simulator has ...
A Two Counter Machine Cannot Calculate 2N
(1972-05-01)
This note proves that a two counter machine cannot calculate 2N.
Toward A Model Of Children's Story Comprehension
(1972-12-01)
How does a person answer questions about children's stories? For example, consider 'Janet wanted Jack's paints. She looked at the picture he was painting and said 'Those paints make your picture look funny.' The ...
Visual Position Extraction Using Stereo Eye Systems with a Relative Rotational Motion Capability
(MIT Artificial Intelligence Laboratory, 1972-01)
This paper discusses the problem of context-free position estimation using a stereo vision system with moveable eyes. Exact and approximate equations are developed linking position to measureable quantities of the image-space, ...