Search
Now showing items 71-80 of 81
Natural Language Syntax and First Order Preference
(1989-10-01)
We have argued elsewhere that first order inference can be made more efficient by using non-standard syntax for first order logic. In this paper we show how a fragment of English syntax under Montague semantics provides ...
Grouping For Recognition
(1989-11-01)
This paper presents a new method of grouping edges in order to recognize objects. This grouping method succeeds on images of both two- and three- dimensional objects. So that the recognition system can consider first ...
Quantitative Inference in a Mechanical Design Compiler
(1989-01-01)
This paper presents the ideas underlying a program that takes as input a schematic of a mechanical or hydraulic power transmission system, plus specifications and a utility function, and returns catalog numbers from ...
Computational Structure of GPSG Models: Revised Generalized Phrase Structure Grammar
(1989-09-01)
The primary goal of this report is to demonstrate how considerations from computational complexity theory can inform grammatical theorizing. To this end, generalized phrase structure grammar (GPSG) linguistic theory ...
Dynamically Stable Legged Locomotion (September 1985-Septembers1989)
(1989-09-01)
This report documents our work in exploring active balance for dynamic legged systems for the period from September 1985 through September 1989. The purpose of this research is to build a foundation of knowledge that ...
Further Evidence Against the Recovery Theory of Vision
(MIT Artificial Intelligence Laboratory, 1989-02)
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 ...
Determining the Limits of Automated Program Recognition
(MIT Artificial Intelligence Laboratory, 1989-06)
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 ...
Decision Representation Language (DRL) and Its Support Environment
(MIT Artificial Intelligence Laboratory, 1989-08)
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 ...
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, ...