AI Working Papers (1971 - 1995): Recent submissions
Now showing items 67-69 of 291
-
Extending 2-D Smoothed Local Symmetries to 3-D
(MIT Artificial Intelligence Laboratory, 1985-11)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 ... -
A Program Design Assistant
(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 ... -
Principles of Knowledge Representation and Reasoning in the FRAPPE System
(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, ...


