Search
Now showing items 11-20 of 62
The Disciplined Use of Simplifying Assumptions
(MIT Artificial Intelligence Laboratory, 1981-12)
Simplifying assumptions — everyone uses them but no one's programming tool explicitly supports them. In programming, as in other kinds of engineering design, simplifying assumptions are an important method for dealing with ...
Proposal For a Study of Commonsense Physical Reasoning
(MIT Artificial Intelligence Laboratory, 1981-07)
Our common sense views of physics are the first coin in our intellectual capital; understanding precisely what they contain could be very important both for understanding ourselves and for making machines more like us. ...
Operating the Lisp Machine
(MIT Artificial Intelligence Laboratory, 1981-04)
This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ...
Presentation Based User Interfaces
(MIT Artificial Intelligence Laboratory, 1981-07)
This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
Lisp Machine Choice Facilities
(MIT Artificial Intelligence Laboratory, 1981-06)
This document is a draft copy of a portion of the Lisp Machine window system manual. It is being published in this form now to make it available, since the complete window system manual is unlikely to be finished in the ...
Logo Turtle Graphics for the Lisp Machine
(MIT Artificial Intelligence Laboratory, 1981-05-05)
This paper is a manual for an implementation of Logo graphics primitives in Lisp on the MIT Lisp Machine. The graphics system provides:
Simple line drawing and erasing using "turtle geometry"
Flexible relative and absolute ...
A Primer for the Act-1 Language
(MIT Artificial Intelligence Laboratory, 1981-06)
This document is intended to describe the current design for computer programming language, Act-1. It describes the Actor computational model, which Act-1 was designed to support. A perspective is provided from which to ...
Nature Abhors an Empty Vacuum
(1981-08-01)
Imagine a crystalline world of tiny, discrete "cells", each knowing only what its nearest neighbors do. Each volume of space contains only a finite amount of information, because space and time come in discrete units. ...
Semantics of Inheritance and Attributions in the Description System Omega
(1981-08-01)
Omega is a description system for knowledge embedding which incorporates some of the attractive modes of expression in common sense reasoning such as descriptions, inheritance, quantification, negation, attributions ...
The Connection Machine
(1981-09-01)
This paper describes the connection memory, a machine for concurrently manipulating knowledge stored in semantic networks. We need the connection memory because conventional serial computers cannot move through such networks ...