Search
Now showing items 1071-1080 of 4210
Force Feedback in Precise Assembly Tasks
(1974-08-01)
This paper describes the execution of precise assembly tasks by a robot. The level of performance of the experimental system allows such basic actions as putting a peg into a hole, screwing a nut on a bolt, and picking ...
Localization of Failures in Radio Circuits: A Study in Causal and Teleological Reasoning
(1974-12-01)
This paper examines some methodologies for diagnosing correctly designed radio circuits which are failing to perform in the intended way because of some faulty component. Particular emphasis is placed on the utility ...
Commenting Proofs
(1974-05-01)
This paper constitutes a summary of a seminar entitled "Commenting Proofs" given a the Artificial Intelligence Laboratory during the spring of 1974. The work is concerned with new syntactic structures in formal proofs ...
What's in a Tune
(1974-11-01)
The work reported here began with two fundamental assumptions: 1) The perception of music is an active process; it involves the individual in selecting, sorting, and grouping the features of the phenomena before her. ...
LOGO Manual
(1974-12-01)
This document descibes the LOGO system implemented for the PDP 11/45 at the M.I.T. Artificial Intelligence Laboratory. The "system" includes not only the LOGO evaluator, but also a dedicated time-sharing system which ...
A Glossary of LOGO Primitives
(1974-12-01)
This is a brief description of the primitives in PDP 11 LOGO. It is intended to provide a quick reference for users who are already familiar with LOGO basics. For a more detailed and comprehensive description of LOGO, ...
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 ...