Search
Now showing items 1-10 of 55
Interim Report of the LOGO Project in the Brookline Public Schools
(1978-06-01)
The LOGO activities of a group of 16 sixth-grade students, representing a full spectrum of ability, are being documented with a view to developing ways of capturing the learning possibilities of such an environment. The ...
AMORD: A Deductive Procedure System
(1978-01-01)
We have implemented an interpreter for a rule-based system, AMORD, based on a non-chronological control structure and a system of automatically maintained data-dependencies. The purpose of this paper is to serve as a ...
Propagation of Constraints Applied to Circuit Synthesis
(1978-09-01)
A major component in the process of design is synthesis, the determination of the parameters of the parts of a network given desiderata for the behavior of the network as a whole. Traditional automated synthesis ...
The Genetic Epistemology of Rule Systems
(1978-01-01)
I shall describe a model of the evolution of the rule-structured knowledge that serves as a cornerstone of our development of computer-based coaches. The key idea is a graph structure whose nodes represent rules, and ...
An Introduction to the EMACS Editor
(1978-01-01)
EMACS is a real-time editor primarily intended for display terminals. The intent of this memo is to describe EMACS in enough detail to allow a user to edit comfortably in most circumstances, knowing how to get more ...
The Revised Report on SCHEME: A Dialect of LISP
(1978-01-01)
SCHEME is a dialect of LISP. It is an expression-oriented, applicative order, interpreter-based language which allows one to manipulate programs as data. It differs from most current dialects of LISP in that it closes ...
Developing a Computational Representation for Problem Solving Skills
(1978-10-01)
This paper describes the evolution of a problem solving model over several generations of computer coaches. Computer coaching is a type of computer assisted instruction in which the coaching program observes the ...
Causal Reasoning and Rationalization in Electronics
(1978-09-01)
This research attempts to formalize the type of causal arguments engineerings employ to understand circuit behavior. A causal argument consists of a sequence of changes to circuit quantities (called events), each of ...
A Proposal for a Computational Model of Anatomical and Physiological Reasoning
(1978-11-01)
The studies of anatomy and physiology are fundamental ingredients of medical education. This paper identifies six ways in which such functional knowledge serves as the underpinnings for general medical reasoning, and ...
Calculating the Reflectance Map
(1978-10-01)
It appears that the development of machine vision may benefit from a detailed understanding of the imaging process. The reflectance map, showing scene radiance as a function of surface gradient, has proved to be helpful ...