Search
Now showing items 491-500 of 521
The Incremental Garbage Collection of Processes
(MIT Artificial Intelligence Laboratory, 1977-06)
This paper investigates some problems associated with an argument evaluation order that we call "future" order, which is different from both call-by-name and call-by-value. In call-by-future, each formal parameter of a ...
Plan Verification in a Programmer's Apprentice
(MIT Artificial Intelligence Laboratory, 1978-01)
Brief Statement of the Problem:
An interactive programming environment called the Programmer's Apprentice is described. Intended for use by the expert programmer in the process of program design and maintenance, the ...
AMORD: A Deductive Procedure System
(MIT Artificial Intelligence Laboratory, 1977-08)
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper is tutorial. We wish ...
A Method, Based on Plans, for Understanding How a Loop Implements a Computation
(MIT Artificial Intelligence Laboratory, 1977-07)
The plan method analyzes the structure of a program. The plan which results from applying the method represents this structure by specifying how the parts of the program interact. This paper demonstrates the utility of the ...
Rational Arithmetic For Mini-Computers
(MIT Artificial Intelligence Laboratory, 1977-09)
A representation for numbers using two computer words is discussed, where the value represented is the ratio of the corresponding integers. This allows for better dynamic range and relative accuracy than single-precision ...
Dynamics of a Three Degree of Freedom Kinematic Chain
(MIT Artificial Intelligence Laboratory, 1977-10)
In order to be able to design a control system for high-speed control of mechanical manipulators, it is necessary to understand properly their dynamics. Here we present an analysis of a detailed model of a three-link device ...
Reporter: An Intelligent Noticer
(MIT Artificial Intelligence Laboratory, 1977-11-15)
Some researchers, notably Schank and Abelson, (1975) have argued for the existence of large numbers of scripts as a representation for complex events. This paper adopts a different viewpoint. I consider complex events to ...
Wumpus Protocol Analysis
(MIT Artificial Intelligence Laboratory, 1977-08)
The goal of this research was to assist in the creation of a new, improved Wumpus advisor by taking protocols of ten people learning to play Wumpus with a human coach. It was hoped that by observing these subjects learn ...
Vision Review
(MIT Artificial Intelligence Laboratory, 1978-05)
A Planning System for Robot Construction Tasks
(MIT Artificial Intelligence Laboratory, 1973-05)
This paper describes BUILD, a computer program which generates plans for building specified structures out of simple objects such as toy blocks. A powerful heuristic control structure enables BUILD to use a number of ...