Search
Now showing items 271-280 of 509
Truth Maintenance Systems for Problem Solving
(1978-01-01)
The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the ...
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 ...
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 ...
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. ...
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 ...
Automatic Analysis of the Logical Structure of Programs
(1978-12-01)
This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make ...
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, ...
The Structure of Mathematical Knowledge
(1978-08-01)
This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of ...
Causal and Teleological Reasoning in Circuit Recognition
(1979-09-01)
This thesis presents a theory of human-like reasoning in the general domain of designed physical systems, and in particular, electronic circuits. One aspect of the theory, causal analysis, describes how the behavior ...
Two Problems in Analyzing Scenes
(MIT Artificial Intelligence Laboratory, 1971-06)
This paper is based on a B.S. thesis supervised by Patrick Winston. It deals with some previously unexplored problems in the analysis of visual scenes. The scenes consist of two dimensional line drawings of simple objects ...