Search
Now showing items 631-640 of 646
GROK Doc: An Image Display Tool
(MIT Artificial Intelligence Laboratory, 1986-04-14)
The image display tool GROK provides a facility for displaying images on the black-and-white screen of a Symbolics 3600 monitor. It allows display of images and their manipulation through a special window it manages. Images ...
Using the PUMA System
(MIT Artificial Intelligence Laboratory, 1985-04)
This document describes the operation of the Lisp Machine interface to the Unimation Puma 600 Robot Arm. The interface is evolved from a system described in an earlier paper, and much is the same. However, the under-lying ...
Toward a Principle-Based Translator
(MIT Artificial Intelligence Laboratory, 1985-06)
A principle-based computational model of natural language translation consists of two components: (1) a module which makes use of a set of principles and parameters to transform the source language into an annotated surface ...
A Proposal for Research With the Goal of Formulating a Computational Theory of Rational Action
(MIT Artificial Intelligence Laboratory, 1985-04)
A theory of rational action can be used to determine the right action to perform in a situation. I will develop a theory of rational action in which an agent has access to an explicit theory of rationality. The agent makes ...
Toward a Richer Language for Describing Software Errors
(MIT Artificial Intelligence Laboratory, 1985-05)
Several approaches to the meaning and uses of errors in software development are discussed. An experiment involving a strong type-checking language, CLU, is described, and the results discussed in terms of the state of the ...
How to Use YTEX
(MIT Artificial Intelligence Laboratory, 1986-06-09)
YTEX—pronounced why-TEX or oops-TEX—is a TEX macro package. YTEX provides both an easy-to-use interface for TEX novices and a powerful macro-creation library for TEX programmers. It is this two-tier structure that makes ...
Puma/Cougar Implementor's Guide
(MIT Artificial Intelligence Laboratory, 1985-04)
This document is intended to be a guide to assist a programmer in modifying or extending the Lisp Puma system, the Puma PDP-11 system, or the Cougar PDP-11 system. It consists mostly of short descriptions or hints, and is ...
Determining the Limits of Automated Program Recognition
(MIT Artificial Intelligence Laboratory, 1989-06)
Program recognition is a program understanding technique in which stereotypic computational structures are identified in a program. From this identification and the known relationships between the structures, a hierarchical ...
Decision Representation Language (DRL) and Its Support Environment
(MIT Artificial Intelligence Laboratory, 1989-08)
In this report, I describe a language, called Decision Representation Language (DRL), for representing the qualitative aspects of decision making processes such as the alternatives being evaluated, goals to satisfy, and ...
A Program Design Assistant
(MIT Artificial Intelligence Laboratory, 1989-06)
The DA will be a design assistant which can assist the programmer in low-level design. The input language of the DA is a cliché-based program description language that allows the specification and high-level design of ...