Search
Now showing items 131-140 of 509
Display Functions in LISP
(1970-03-01)
This note describes a system which compiles various forms of LISP lists and arrays into display commands for the DEC 340 display, and provides supporting functions for scaling, for moving elements in a display, for pot ...
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. ...