Computer Science and Artificial Intelligence Lab (CSAIL): Recent submissions

Now showing items 421-440 of 2625

  • Plan Verification in a Programmer's Apprentice 

    Unknown author (MIT Artificial Intelligence Laboratory, 1978-01)
    Brief Statement of the Problem: An interactive programming environment called the Programmer's Apprentice is described. Intended for use by the expert programmer in the process of program design and maintenance, the ...

  • Plan Recognition in a Programmer's Apprentice 

    Unknown author (MIT Artificial Intelligence Laboratory, 1977-05)
    Brief Statement of the Problem: Stated most generally, the proposed research is concerned with understanding and representing the teleological structure of engineered devices. More specifically, I propose to study the ...

  • A Theory of Plans for Electronic Circuits 

    Unknown author (MIT Artificial Intelligence Laboratory, 1977-04)
    A plan for a device assigns purposes to each of the more primitive components and explains how these components interact to achieve the desired behavior of the composite device. Such an information structure is critically ...

  • Mapping Sentences to Case Frames 

    Unknown author (MIT Artificial Intelligence Laboratory, 1977-03)
    This paper describes a range of phenomena that a case frame system should be able to handle and proposes generalizations to capture this behavior which are formulated as a set of production-like rules. These rules allow ...

  • A Note on the Optimal Allocation of Spaces in MACLISP 

    Unknown author (MIT Artificial Intelligence Laboratory, 1977-03-16)
    This note describes a method for allocating storage among the various spaces in the MACLISP Implementation of LISP. The optimal strategy which minimizes garbage collector effort allocates free storage among the various ...

  • PSUDOC - A Simple Diagnostic Program 

    Unknown author (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 

    Unknown author (MIT Artificial Intelligence Laboratory, 1977-05-10)
    This paper presents some laws that must be satisfied by computations involving communicating parallel processes. The laws are stated in the context of the actor theory, a model for distributed parallel computation, and ...

  • The Use of Dependency Relationships in the Control of Reasoning 

    Unknown author (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 ...

  • Reasoning By Analogy: A Progress Report 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-10)
    Rather.

  • From Computational Theory to Psychology and Neurophysiology -- a case study from vision 

    Unknown author (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; ...

  • Discourse Structure 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-08-17)
    An essential step in understanding connected discourse is the ability to link the meanings of successive sentences together. Given a growing database to which new sentence meanings must be linked, which out of many possible ...

  • Digital Control of a Six-Axis Manipulator 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-08)
    This paper describes a scheme for providing low-level control of a multi-link serial manipulator. The goal was to achieve adaptive behavior without making assumptions about the environment.

  • On the Representation and Use of Semantic Categories: A Survey and Prospectus 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-05)
    This paper is intended as a brief introduction to several issues concerning semantic categories. These are the everyday, factual groupings of world knowledge according to some similarity in characteristics. Some psychological ...

  • Hand Eye Coordination 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-07)
    This paper describes a simple method of converting visual coordinates to arm coordinates which does not require knowledge of the position of the camera(s). Comparisons are made to other methods and two camera, three ...

  • Two Simple Algorithms For Displaying Orthographic Projections of Surfaces 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-08)
    Two simple algorithms are described for displaying orthographic projections of surfaces. The first, called RELIEF-PLOT, produces a three-dimensional plot of a surface z = f(x,y). The second, called SHADED-IMAGE, adds ...

  • Structured Planning and Debugging: A Linguistic Approach to Problem Solving 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-06-08)
    A structured approach to planning and debugging is obtained by using an Augmented Transition Network (ATN) to model the problem solving process. This proves to be a perspicuous representation for planning concepts including ...

  • Symbol IC-Evaluation as an Aid to Program Synthesis 

    Unknown author (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 ...

  • CGOL - an Alternative External Representation For LISP users 

    Unknown author (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 ...

  • An Actor-Based Computer Animation Language 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-02)
    This paper reproduces an appendix of a doctoral thesis proposal that describes a language based on actor semantics designed especially for animation. The system described herein is built upon MacLisp and is also compatible ...

  • A Knowledge-Based Computer Animation System 

    Unknown author (MIT Artificial Intelligence Laboratory, 1976-02)
    This paper reproduces part of a doctoral thesis proposal describing the design of a system capable of generating animated drawings in response to a simple story. The representation and interaction of the various sources ...