Search
Now showing items 1081-1090 of 4210
SPADE: A Grammar Based Editor for Planning and Debugging Programs
(1976-12-01)
A grammar of plans is developed from a taxonomy of basic planning techniques. This grammar serves as the basis for the design of a new kind of interactive programming environment (SPADE), in which programs are generated ...
Student Science Training Program in Mathematics, Physics and Computer Science
(1976-09-01)
During the summer of 1976, the Massachussetts Institute of Technology Artificial Intelligence Laboratory sponsored a Student Science Training Program in Mathematics, Physics and Computer Science for high ability ...
Overview of a Linguistic Theory of Design
(1977-02-01)
The SPADE theory uses linguistic formalisms to model the program planning and debugging processes. The theory has been applied to constructing a grammar-based editor in which programs are written in a structured ...
Parsing Protocols Using Problem Solving Grammars
(1976-12-01)
A theory of the planning and debugging of programs is formalized as is context free grammar. The grammar is used to reveal the constituent structure of problem solving episodes, by parsing protocols in which programs ...
Grammar as a Programming Language
(1976-10-01)
This paper discusses some student projects involving generative grammars. While grammars are usually associated with linguisitics, their usefuleness goes far beyond just "language" to make different domains. Their ...
Comparative Schematology
(1978-05-01)
While we may have the intuitive idea of one programming language having greater power than another, or of some subset of a language being an adequate "core" for that language, we find when we try to formalize this ...
Modeling Semantic Memory: Effects of Presenting Semantic Information in Different Modalities
(1978-04-01)
How is semantic information from different modalities integrated and stored? If related ideas are encountered in French and English, or in pictures and sentences, is the result a single representation in memory or two ...
Assessment and Documentation of a Children's Computer Laboratory
(1977-09-01)
This research will thoroughly document the experiences of a small number of 5th grade children in an elementary school computer laboratory, using LOGO, an advanced computer language designed for children. Four groups ...
Shaded Perspective Images of Terrain
(1978-03-01)
In order to perform image analysis, one must have a thorough understanding of how images are formed. This memo presents an algorithm that produces shaded perspective images of terrain as a vehicle to understanding the ...
A Glimpse of Truth Maintenance
(1978-02-01)
Many procedurally-oriented problem solving systems can be viewed as performing a mixture of computation and deduction, with much of the computation serving to decide what deductions should be made. This results in ...