Search
Now showing items 31-40 of 73
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 ...
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 ...
Representing Knowledge of Large-Scale Space
(1977-07-01)
This dissertation presents a model of the knowledge a person has about the spatial structure of a large-scale environment: the "cognitive map". The functions of the cognitive map are to assimilate new information about ...
Flexibility and Efficiency in a Computer Program for Designing Circuits
(1977-06-01)
This report is concerned with the problem of achieving flexibility (additivity, modularity) and efficiency (performance, expertise) simultaneously in one AI program. It deals with the domain of elementary electronic circuit ...
Motor Control and Learning by the State Space Model
(1977-09-01)
A model is presented that deals with problems of motor control, motor learning, and sensorimotor integration. The equations of motion for a limb are parameterized and used in conjunction with a quantized, multi-dimensional ...
Use of Analogy to Achieve New Expertise
(1977-04-01)
We will take the view that the end result of problem solving in some world should be increased expertness. In the context of computers, increasing expertness means writing programs. This thesis is about a process, ...
SLICES: At the Boundary Between Analysis and Synthesis
(1977-07-01)
The algebraic difficulty of determining the component values in a circuit of known topology and specifications is large. Expert circuit designers use terminal equivalence and power arguments to reduce the apparent ...
Annotated Production Systems: A Model for Skill Acquisition
(1977-02-01)
Annotated Production Systems provide a procedural model for skill acquisition by augmenting a production model of the skill with formal commentary describing plans, bugs, and interraltionships between various productions. ...
A Proof-Checker for Dynamic Logic
(1977-06-01)
We consider the problem of getting a computer to follow reasoning conducted in dynamic logic. This is a recently developed logic of programs that subsumes most existing first-order logics of programs that manipulate ...
Using Synthetic Images to Register Real Images with Surface Models
(1977-08-01)
A number of image analysis tasks can benefit from registration of the image with a model of the surface being imaged. Automatic navigation using visible light or radar images requires exact alignment of such images ...