Advanced Search
DSpace@MIT

Browsing AI Working Papers (1971 - 1995) by Title

Research and Teaching Output of the MIT Community

Browsing AI Working Papers (1971 - 1995) by Title

Sort by: Order: Results:

  • McDonald, David (MIT Artificial Intelligence Laboratory, 1975-06)
    A program framework has been designed in which the linguistic facts and heuristics necessary for generating fluent natural language can be encoded. The linguistic data is represented in annotated procedures and data ...
  • Ciccarelli, Eugene C. (MIT Artificial Intelligence Laboratory, 1981-07)
    This research will develop a methodology for designing user interfaces for general-purpose interactive systems. The central concept is the presentation, a structured pictorial or text object conveying information about ...
  • Bullwinkle, Candace L. (MIT Artificial Intelligence Laboratory, 1975-07)
    Recent research in linguistic analysis of presuppositions has provided numerous indications of the role of presupposition in lexical analysis. Still others have argued there is no distinction between meaning and the ...
  • Jones, Judi (MIT Artificial Intelligence Laboratory, 1982-03)
    TEX is our latest text formatter. It is designed specifically for technical text (e.g., mathematics), and produces much higher quality output than other formatters previously available. Donald Knuth designed TEX at Stanford ...
  • Theriault, Daniel G. (MIT Artificial Intelligence Laboratory, 1981-06)
    This document is intended to describe the current design for computer programming language, Act-1. It describes the Actor computational model, which Act-1 was designed to support. A perspective is provided from which to ...
  • Feldman, Yishai A.; Rich, Charles (MIT Artificial Intelligence Laboratory, 1989-05)
    The purpose of this paper is to elucidate the following four important architectural principles of knowledge representation and reasoning with the example of an implemented system: limited reasoning, truth maintenance, ...
  • Tan, Yang Meng (MIT Artificial Intelligence Laboratory, 1989-06)
    The DA will be a design assistant which can assist the programmer in low-level design. The input language of the DA is a cliché-based program description language that allows the specification and high-level design of ...
  • Hall, Robert J. (MIT Artificial Intelligence Laboratory, 1988-05)
    The problem of automatically improving the performance of computer programs has many facets. A common source of program inefficiency is the use of abstraction techniques in program design: general tools used in a specific ...
  • Cyphers, D. Scott (MIT Artificial Intelligence Laboratory, 1982-02)
    The programmer's apprentice (PA) is an automated program development tool. The PA depends upon a library of common algorithms (cliches) as the source of its knowledge about programming. The PA can be made more usable if ...
  • Woodham, Robert J. (MIT Artificial Intelligence Laboratory, 1972-06)
    A program called LPTSEE has been written for use with the MIT vision system. LPTSEE makes use of the overprint capability of the line printer to allow the user to output a stored picture image.
  • Brotsky, Daniel (MIT Artificial Intelligence Laboratory, 1981-12)
    We propose research into automatic program understanding via recognition of common data structures and algorithms (clichés). Our goals are two-fold: first, to develop a theory of program structure which makes such recognition ...
  • Dowson, Mark (MIT Artificial Intelligence Laboratory, 1971-09)
    The VIRGIN program will interpret pictures of simple scenes. This paper describes a program, SINNER, which will deal with picture which contain cracks and shadows. In addition to handling pictures of this richer world, ...
  • Hollerbach, John M. (MIT Artificial Intelligence Laboratory, 1972-12-15)
    A methodology is presented for generating descriptions of objects from line drawings. Using projection of planes, objects in a scene can be parsed and described at the same time. The descriptions are hierarchical, and lend ...
  • Kuper, Ron I. (MIT Artificial Intelligence Laboratory, 1988-01)
    There are many ways to find bugs in programs. For example, observed input and output values can be compared to predicted values. An execution trace can be examined to locate errors in control flow. The utility of these and ...
  • Forbus, Kenneth D. (MIT Artificial Intelligence Laboratory, 1981-07)
    Our common sense views of physics are the first coin in our intellectual capital; understanding precisely what they contain could be very important both for understanding ourselves and for making machines more like us. ...
  • Batali, John (MIT Artificial Intelligence Laboratory, 1985-04)
    A theory of rational action can be used to determine the right action to perform in a situation. I will develop a theory of rational action in which an agent has access to an explicit theory of rationality. The agent makes ...
  • Shapiro, Daniel G. (MIT Artificial Intelligence Laboratory, 1980-07)
    This paper proposes an interactive debugging aid that exhibits a deep understanding of a narrow class of bugs. This system, called Sniffer, will be able to find and identify errors, and explain them in terms which are ...
  • Hewitt, Carl (MIT Artificial Intelligence Laboratory, 1974-11)
    This paper presents a unified method [called ENCASING] for dealing with the closely related issues of synchronization and protection in actor systems [Hewitt et al. 1973a, 1973b, 1974a; Greif and Hewitt 1975]. Actors are ...
  • Lozano-Perez, Tomas (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 ...
  • Jones, Joe L.; O'Donnell, Patrick A. (MIT Artificial Intelligence Laboratory, 1985-04)
    This document is intended to be a guide to assist a programmer in modifying or extending the Lisp Puma system, the Puma PDP-11 system, or the Cougar PDP-11 system. It consists mostly of short descriptions or hints, and is ...
MIT-Mirage