Search
Now showing items 241-250 of 509
AI Based Personal Learning Environments: Directions for Long Term Research
(1976-12-01)
The application of artificial intelligence (AI) techniques to the design of personal learning environments is an enterprise of both theoretical and practical interest. In the short term, the process of developing and ...
Computation of Locally Parallel Structure
(1977-03-01)
A Moire-like effect can be observed in dot patterns consisting of two superimposed copies of a random dot pattern where one copy has been expanded, translated, or rotated. One perceives in these patterns a structure ...
PAZATN: A Linguistic Approach to Automatic Analysis of Elementary Programming Protocols
(1976-12-01)
PATN is a design for a machine problem solver which uses an augmented transition network (ATN) to represent planning knowledge. In order to explore PATN's potential as a theory of human problem solving, a linguistic ...
Structured Planning and Debugging: A Linguistic Theory of Design
(1976-12-01)
A unified theory of planning an debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including ...
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 ...