Browsing AI Working Papers (1971 - 1995) by Title

Now showing items 217-236 of 291

    • A scenario of Planning and Debugging in Electronic Circuit Design 

      Sussman, Gerald J. (MIT Artificial Intelligence Laboratory, 1973-12)
      The purpose of this short document is to exhibit how a HACKER-like top-down planning and debugging system can be applied to the problem of the design and debugging of simple analog electronic circuits. I believe, and I ...

    • Security and Modularity in Message Passing 

      Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1979-02)
      This paper addresses theoretical issues involved for the implementation of security and modularity in concurrent systems. It explicates the theory behind a mechanism for safely delegating messages to shared handlers in ...

    • The Semantic Component of PAL: The Personal Assistant Language Understanding Program 

      Bullwinkle, Candace (MIT Artificial Intelligence Laboratory, 1977-03)
      This paper summarizes the design and implementation of the "semantics" module of a natural language undertanding system for the personal assistant domain. This module includes mappings to deep frames, noun phrase referencing ...

    • Shadows and Cracks 

      Dowson, Mark; Waltz, David (MIT Artificial Intelligence Laboratory, 1971-06)
      The VIRGIN program will interpret pictures of crack and shadow free scenes by labelling them according to the Clowes/Huffman formalism. This paper indicates methods of extending the program to include cracks and shadows ...

    • Shallow Binding in LISP 1.5 

      Baker, Henry G. Jr. (MIT Artificial Intelligence Laboratory, 1977-01)
      Shallow binding is a scheme which allows the value of a variable to be accessed in a bounded amount of computation. An elegant model for shallow binding in LISP 1.5 is presented in which context-switching is an environment ...

    • Shedding Light on Shadows 

      Waltz, David L. (MIT Artificial Intelligence Laboratory, 1972-06)
      This paper describes methods which allow a program to analyze and interpret a variety of scenes made up of polyhedra with trihedral vertices. Scenes may contain shadows, accidental edge alignments, and some missing lines. ...

    • Simulating a Semantic Network in LMS 

      Koton, Phyllis A. (MIT Artificial Intelligence Laboratory, 1980-09-29)
      A semantic network is a collection of nodes and the links between them. The nodes represent concepts, functions and entities, and the links represent relationships between varoius nodes. Any semantic network must be supplied ...

    • Some Aspects of Medical Diagnosis 

      Sussman, Gerald J. (MIT Artificial Intelligence Laboratory, 1973-12)
      Since mid July Steve Pauker, Jerome Kassirer, and I (Gerald Jay Sussman) have been observing the diagnostic process of expert physicians with the goal of abstracting the underlying procedures being followed. One purpose ...

    • Some Examples of Conceptual Grammar 

      Steels, Luc (MIT Artificial Intelligence Laboratory, 1978-12)
      This paper gives some examples of the conceptual grammar approach to the representation of linguistic knowledge. First we give a short overview of the language we use to represent knowledge. Then we discuss an example ...

    • Some Issues for a Dynamic Vision System 

      Lavin, Mark A. (MIT Artificial Intelligence Laboratory, 1974-12)
      This paper is a thesis-proposal-proposal: a discussion of some issues which seem relevant to the problem of dealing with visual scenes undergoing change. The problem area is broadly stated, some relevant points are noted, ...

    • Some Projects in Automatic Programming 

      Goldstein, Ira; Sussman, Gerald Jay (MIT Artificial Intelligence Laboratory, 1974-04)
      This paper proposes three research topics within the general framework of Automatic Programming. The projects are designing (1) a student programmer, (2) a robot programmer and (3) a physicist's helper. The purpose of these ...

    • Specifying and Proving Properties of Guardians for Distributed Systems 

      Hewitt, Carl; Attardi, Giuseppe; Lieberman, Henry (MIT Artificial Intelligence Laboratory, 1979-05)
      In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...

    • Spurious Behaviors in Qualitative Prediction 

      Hall, Robert J. (MIT Artificial Intelligence Laboratory, 1988-03)
      I examine the scope and causes of the spurious behavior problem in two widely different approaches to qualitative prediction, Sacks' PLR and Kuipers' QSIM. QSIM's proliferation of spurious behaviors and PLR's limited ...

    • A Step Towards Automatic Documentation 

      Frank, Claude (MIT Artificial Intelligence Laboratory, 1980-12)
      This paper describes a system which automatically generates program documentation. Starting with a plan generated by analyzing the program, the system computes several kinds of summary information about the program. The ...

    • Stepping Motor Control System 

      Larson, Noble G. (MIT Artificial Intelligence Laboratory, 1979-02)
      This paper describes a hardware system designed to facilitate position and velocity control of a group of eight stepping motors using a PDP-11. The system includes motor driver cards and other interface cards in addition ...

    • Steps Toward a Psycholinguistic Model of Language Production 

      McDonald, David D. (MIT Artificial Intelligence Laboratory, 1979-04)
      This paper discusses what it would mean to have a psychological model of the language production process: what such a model would have to account for, what it would use as evidence. It outlines and motivates one particular ...

    • A Stored Picture Hacking Facility 

      Markowitz, Sidney (MIT Artificial Intelligence Laboratory, 1972-06)
      A short description of LISP functions that have been written for use with the stored picture facility. These functions allow one to display an image of a stored scene on the 340 scope, and produce graphs and histograms of ...

    • Story Understanding: the Beginning of a Consensus 

      McDonald, David D. (MIT Artificial Intelligence Laboratory, 1978-06)
      This paper is written for an Area Examination on the three papers: "A Framed PAINTING: The Representation of a Common Sense Knowledge Fragment" by Eugene Charniak, "Reporter: An Intelligent Noticer" by Steve Rosenberg, and ...

    • Structured Descriptions 

      Gabriel, Richard P. (MIT Artificial Intelligence Laboratory, 1973-08)
      A descriptive formalism along with a philosophy for its use and expansion are presented wherein descriptions are of a highly structured nature. This descriptive system and the method of recognition are extended to the ...

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

      Miller, Mark L.; Goldstein, Ira P. (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 ...