Search
Now showing items 471-480 of 509
Symbol IC-Evaluation as an Aid to Program Synthesis
(MIT Artificial Intelligence Laboratory, 1976-04)
Symbolic-evaluation is the process which abstractly evaluates an actor program and checks to see whether the program fulfills its contract (specification). In this paper, a formalism based on the conceptual representation ...
Discourse Structure
(MIT Artificial Intelligence Laboratory, 1976-08-17)
An essential step in understanding connected discourse is the ability to link the meanings of successive sentences together. Given a growing database to which new sentence meanings must be linked, which out of many possible ...
Structured Planning and Debugging: A Linguistic Approach to Problem Solving
(MIT Artificial Intelligence Laboratory, 1976-06-08)
A structured approach to planning and debugging is obtained by using an Augmented Transition Network (ATN) to model the problem solving process. This proves to be a perspicuous representation for planning concepts including ...
On the Representation and Use of Semantic Categories: A Survey and Prospectus
(MIT Artificial Intelligence Laboratory, 1976-05)
This paper is intended as a brief introduction to several issues concerning semantic categories. These are the everyday, factual groupings of world knowledge according to some similarity in characteristics. Some psychological ...
Two Simple Algorithms For Displaying Orthographic Projections of Surfaces
(MIT Artificial Intelligence Laboratory, 1976-08)
Two simple algorithms are described for displaying orthographic projections of surfaces. The first, called RELIEF-PLOT, produces a three-dimensional plot of a surface z = f(x,y). The second, called SHADED-IMAGE, adds ...
Hand Eye Coordination
(MIT Artificial Intelligence Laboratory, 1976-07)
This paper describes a simple method of converting visual coordinates to arm coordinates which does not require knowledge of the position of the camera(s). Comparisons are made to other methods and two camera, three ...
An Actor-Based Computer Animation Language
(MIT Artificial Intelligence Laboratory, 1976-02)
This paper reproduces an appendix of a doctoral thesis proposal that describes a language based on actor semantics designed especially for animation. The system described herein is built upon MacLisp and is also compatible ...
Digital Control of a Six-Axis Manipulator
(MIT Artificial Intelligence Laboratory, 1976-08)
This paper describes a scheme for providing low-level control of a multi-link serial manipulator. The goal was to achieve adaptive behavior without making assumptions about the environment.
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 ...