Search
Now showing items 1-10 of 56
The Low-level Symbolic Representation of Intensity Changes in an Image
(1974-12-01)
A family of symbols is defined by which much of the useful information in an image may be represented, and its choice is justified. The family includes symbols for the various commonly occuring intensity profiles that are ...
Understanding Simple Picture Programs
(1974-04-01)
What are the characteristics of the process by which an intent is transformed into a plan and then a program? How is a program debugged? This paper analyzes these questions in the context of understanding simple turtle ...
Assimilation of New Information by a Natural Language Understanding System
(1974-02-01)
This work describes a program, called TOPLE, which uses a procedural model of the world to understand simple declarative sentences. It accepts sentences in a modified predicate calculus symbolism, and uses plausible ...
Plane Geometry Theorem Proving Using Forward Chaining
(1974-01-01)
A computer program is described which operates on a subset of plane geometry. Its performance not only compares favorably with previous computer programs, but within its limited problem domain (e.g. no curved lines ...
A Relaxation Approach to Splitting in an Automatic Theorem Prover
(1974-01-01)
The splitting of a problem into subproblems often involves the same variable appearing in more than one of the subproblems. This makes these subproblems dependent upon one another since a solution to one may not qualify ...
Summary of MYCROFT: A System for Understanding Simple Picture Programs
(1974-05-01)
A collection of powerful ideas??cription, plans, linearity, insertions, global knowledge and imperative semantics?? explored which are fundamental to debugging skill. To make these concepts precise, a computer monitor ...
LLOGO: An Implementation of LOGO in LISP
(1974-06-01)
This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50 and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. ...
A Mechanical Arm Control System
(1974-01-01)
This paper describes a proposed mechanical arm control system and some of the lines of thought which led to this design. In particular, the paper discusses the basic systme required in order for the arm to control its ...
New Progress in Artificial Intelligence
(1974-09-01)
This report concentrates on progress during the last two years at the M.I.T. Artificial Intelligence Laboratory. Topics covered include the representation of knowledge, understanding English, learning and debugging, ...
An Application of Line-labeling and other Scene-analysis Techniques to the Problem of Hidden-line Removal
(MIT Artificial Intelligence Laboratory, 1974-03)
The problem of hidden-line drawings of scenes composed of opaque polyhedra is considered. The use of Huffnan labeling is suggested as a method if simplifying the task and increasing its intuitive appeal. The relation between ...