Search
Now showing items 611-620 of 4210
Micro-Planner Reference Manual (Update)
(1971-12-01)
This is a manual for the use of the Micro Planner interpreter, which implements a subset of Carl Hewitt's language, PLANNER and is now available for use by the Artificial Intelligence Group.
Proposal to ARPA for Research on Intelligent Automata and Micro-Automation
(1973-09-01)
The results of a decade of work in Artificial Intelligence have brought us to the threshold of a new phase of knowledge-based programming -- in which we can design computer systems that (1) react reasonably to significantly ...
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 ...
Uses of Technology to Enhance Education
(1973-06-01)
Section 1: Schematic outline of project and what we want. Hardly any intellectual content. Section 2: Statement of our goals in general terms. This statement is intended to have serious intellectual content but lacks meaty ...
Design Outline for Mini-Arms Based on Manipulator Technology
(1973-05-01)
The design of small manipulators is an art requiring proficiency in diverse disciplines. This paper documents some of the general ideas illustrated by a particular design for an arm roughly one quarter human size. The ...
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. ...
LLOGO: An Implementation of LOGO in LISP
(1975-03-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 ...