Search
Now showing items 31-40 of 69
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 ...
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 ...
The Design of a Mechanical Assembly System
(1976-12-01)
This thesis describes a mechanical assembly system called LAMA (Language for Automatic Mechanical Assembly). The goal of the work was to create a mechanical assembly system that transforms a high-level description of an ...
Qualitative Knowledge, Casual Reasoning and the Localization of Failures
(1976-11-01)
This report investigates some techinques appropriate to representing the knowledge necessary for understanding a class of electronic machines -- radio receivers. A computational performance model - WATSON - is presented. ...
Filling in the Gaps: The Shape of Subjective Contours and a Model for Their Generation
(1976-10-01)
The properties of isotropy, smoothness, minimum curvature and locality suggest the shape of filled-in contours between two boundary edges. The contours are composed of the arcs of two circles tangent to the given ...
LAMBDA: The Ultimate Declarative
(1976-11-01)
In this paper, a sequel to "LAMBDA: The U ltimate Imperative", a new view of LAMBDA as a renaming operator is presented and contrasted with the usual functional view taken by L ISP. This view, combined with the view of ...