Search
Now showing items 31-40 of 55
A Comparison of PARSIFAL with Augmented Transition Networks
(1978-03-01)
This paper compares Marcus' parser, PARSIFAL with Woods' Augmented Transition Network (ATN) parser. In particular, the paper examines the two parsers in light of Marcus' Determinism Hypothesis. An overview of each ...
A Glimpse of Truth Maintenance
(1978-11-01)
To choose their actions, reasoning programs must be able to draw conclusions from limited information and subsequently revise their beliefs when discoveries invalidate previous assumptions. A truth maintenance system ...
LANDSAT MSS Coordinate Transformations
(1978-02-01)
A number of image analysis tasks require the registration of a surface model with an image. In the case of satellite images, the surface model may be a map or digital terrain model in the form of surface elevations on ...
Truth Maintenance Systems for Problem Solving
(1978-01-01)
The thesis developed here is that reasoning programs which take care to record the logical justifications for program beliefs can apply several powerful, but simple, domain-independent algorithms to (1) maintain the ...
Automatic Analysis of the Logical Structure of Programs
(1978-12-01)
This report presents a method for viewing complex programs as built up out of simpler ones. The central idea is that typical programs are built up in a small number of stereotyped ways. The method is designed to make ...
The Structure of Mathematical Knowledge
(1978-08-01)
This report develops a conceptual framework in which to talk about mathematical knowledge. There are several broad categories of mathematical knowledge: results which contain the traditional logical aspects of ...
The Art of the Interpreter of the Modularity Complex (Parts Zero, One, and Two)
(1978-05-01)
We examine the effects of various language design decisions on theprogramming styles available to a user of the language, with particular emphasis on the ability to incrementally construct modular systems. At each ...
Learning by Creating and Justifying Transfer Frames
(1978-01-01)
In the particular kind of learning discussed in this paper, the teacher names a destination and a source. In the sentence, "Robbie is like a fox," Robbie is the destination and fox is the source. The student, on analyzing ...
How Is a Knowledge Representation System Like a Piano?
(MIT Artificial Intelligence Laboratory, 1978-11)
In the summer of 1978 a decision was made to devote a special issue of the SIGART newsletter to the subject of knowledge representation research. To assist in ascertaining the current state of people's thinking on this ...
Story Understanding: the Beginning of a Consensus
(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 ...