Search
Now showing items 51-60 of 70
The Computer as Coach: An Athletic Paradigm for Intellectual Education
(1976-12-01)
Over the next five years, computer games will find their way into a vast number of American homes, creating a unique educational opportunity: the development of "computer coaches" for the serious intellectual skills ...
Initial Report on a LISP Programmer's Apprentice
(1976-12-01)
This is an initial report on the design and partial implementation of a LISP programmers apprentice, an interactive programming system to be used by an expert programmer in the design, coding, and maintenance of large, ...
Cryptology and Data Communications
(MIT Artificial Intelligence Laboratory, 1976-12)
This paper is divided into two parts. The first part deals with cryptosystems and cryptanalysis. It surveys the basic information about cryptosystems and then addresses two specific questions. Are cryptosystems such as ...
Reasoning By Analogy: A Progress Report
(MIT Artificial Intelligence Laboratory, 1976-10)
Rather.
From Computational Theory to Psychology and Neurophysiology -- a case study from vision
(MIT Artificial Intelligence Laboratory, 1976-08)
The CNS needs to be understood at four nearly independent levels of description: (1) that at which the nature of a computation is expressed; (2) that at which the algorithms that implement a computation are characterised; ...
The Use of Dependency Relationships in the Control of Reasoning
(MIT Artificial Intelligence Laboratory, 1976-11)
Several recent problem-solving programs have indicated improved methods for controlling program actions. Some of these methods operate by analyzing the time-independent antecedent-consequent dependency relationships between ...
PSUDOC - A Simple Diagnostic Program
(MIT Artificial Intelligence Laboratory, 1976-12)
This paper describes PSUDOC, a very simple LISP program to carry out some medical diagnosis tasks. The program's domain is a subset of clinical medicine characterized by patients presenting with edema and/or hematuria. The ...
Laws for Communicating Parallel Processes
(MIT Artificial Intelligence Laboratory, 1976-11)
This paper presents some "laws" that must be satisfied by computations involving communicating parallel processes. The laws take the form of stating restrictions on the histories of computations that are physically realizable. ...
CGOL - an Alternative External Representation For LISP users
(MIT Artificial Intelligence Laboratory, 1976-03)
Advantages of the standard external representation of LISP include its simple definition, its economical implementation and its convenient extensibility. These advantages have been gained by trading off syntactic variety ...
Symbol IC-Evaluation as an Aid to Program Synthesis
(MIT Artificial Intelligence Laboratory, 1976-04)
Symbolic-evaluation is the process which abstractly evaluates an actor program and checks to see whether the program fulfills its contract (specification). In this paper, a formalism based on the conceptual representation ...