Search
Now showing items 1-10 of 509
A Framework for Representing Knowledge
(1974-06-01)
This is a partial theory of thinking, combining a number of classical and modern concepts from psychology, linguistics, and AI. Whenever one encounters a new situation (or makes a substantial change in one's viewpoint) ...
Artificial Intelligence, Language and the Study of Knowledge
(1975-07-01)
This paper studies the relationship of Artificial Intelligence to the study of language and the representation of the underlying knowledge which supports the comprehension process. It develops the view that intelligence ...
Functions and Frames in the Learning of Structures
(MIT Artificial Intelligence Laboratory, 1973-12)
This paper discusses methods for enhancing the learning abilities of the Winston program, first by representing functional properties of the objects considered, and secondly by embedding individual models in a hierarchically ...
The Application of Linear Systems Analysis to Image Processing. Some Notes.
(MIT Artificial Intelligence Laboratory, 1974)
The Fourier transform is a convenient tool for analyzing the performance of an image-forming system, but must be treated with caution. One of its major uses is turning convolutions into products. It is also used to transform ...
Assigning Hierarchical Descriptions to Visual Assemblies of Blocks with Occlusion
(MIT Artificial Intelligence Laboratory, 1975-10)
This memo describes a program for parsing simple two-dimensional piles of blocks into plausible nested subassemblies. Each subassembly must be one of a few types known to the program, such as stack, tower, or arch. Each ...
Vision Review
(MIT Artificial Intelligence Laboratory, 1978-05)
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 ...
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 ...
A Birthday Party Frame System
(MIT Artificial Intelligence Laboratory, 1977-02)
This paper is an experimental investigation of the utility of the MIT-AI frames system. Using this system, a birthday party planning system was written, representing the basic decisions that comprise such a plan as frames. ...
Symbolic Evaluation Using Conceptual Representations for Programs with Side-Effects
(1976-12-01)
Symbolic evaluation is a process which abstractly evaluates an program on abstract data. A formalism based on conceptual representations is proposed as a specification language for programs with side-effects. Relations ...