3-D Smoothed Local Symmetries (3-D SLS's) are presented as a representation for three-dimensional shapes. 3-D SLS's make explicit the perceptually salient features of 3-D objects and are especially suited to representing ...

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 ...

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, ...

In this report, I describe a language, called Decision Representation Language (DRL), for representing the qualitative aspects of decision making processes such as the alternatives being evaluated, goals to satisfy, and ...

I describe an iteration macro for Common Lisp that is clear, efficient, extensible, and in excellent taste.

This cookbook contains recipes prepared for the GSL (Graduate Student Lunch) at the Massachusetts Institute of Technology Artificial Intelligence Laboratory.

Program recognition is a program understanding technique in which stereotypic computational structures are identified in a program. From this identification and the known relationships between the structures, a hierarchical ...

I outline a project for integrating several early visual modalities based on coupled Markov Random Fields models of the physical processes underlying image formation, such as depth, albedo and orientation of surfaces. The ...

The competence being investigated is causal modelling, whereby the behavior of a physical system is understood through the creation of an explanation or description of the underlying causal relations. After developing a ...

The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image. We have previously presented a certain line-drawing and shown that it has the ...

Research in artificial intelligence has yet to satisfactorily address the primordial fissure between human consciousness and the material order. How is this split reconciled in terms of human reality? By what duality is ...

This paper documents a collection of Lisp utilities which I have written while doing vision programming on a Symbolics Lisp machine. Many of these functions are useful both as interactive commands invoked from the Lisp ...

The problem of three-dimensional vision is generally formulated as the problem of recovering the three-dimensional scene that caused the image. Here we present a certain line-drawing and show that it has the following ...

Classical test generation techniques rely on search through gate-level circuit descriptions, which results in long runtimes. In some instances, classical techniques cannot be used because they would take longer than the ...

The key to understanding a program is recognizing familiar algorithmic fragments and data structures in it. Automating this recognition process will make it easier to perform many tasks which require program understanding, ...

This document presumptuously purports to explain how to do research. We give heuristics that may be useful in pickup up specific skills needed for research (reading, writing, programming) and for understanding and enjoying ...

The Jordan Form over field Z[subscript p] of J[superscript p][subscript p]n is diagonal for p > 3 with characteristic polynomial, ϕ(x) = x[superscript 3] - 1, for p prime, n natural number. These matrices have dimension ...

In this paper, an intelligent database management system (DBMS) called IDEME is presented. IDEME is a program that takes as input a task specification and finds a set of methods potentially relevant to solving that task. ...

This paper collects several notes I've written over the last year in an attempt to work through my dissatisfactions with the ideas about representation I was taught in school. Among these ideas are the notion of a 'world ...

A principle-based computational model of natural language translation consists of two components: (1) a module which makes use of a set of principles and parameters to transform the source language into an annotated surface ...