Search
Now showing items 411-420 of 521
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 ...
Specifying and Proving Properties of Guardians for Distributed Systems
(MIT Artificial Intelligence Laboratory, 1979-05)
In a distributed system where many processors are connected by a network and communicate using message passing, many users can be allowed to access the same facilities. A public utility is usually an expensive or limited ...
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 ...
Looking in the Shadows
(MIT Artificial Intelligence Laboratory, 1976-05)
The registration of an image with a model of the surface being imaged is an important prerequisite to many image understanding tasks. Once registration is achieved, new image analysis techniques can be explored. One approach ...
Frame-Based Knowledge Representation
(MIT Artificial Intelligence Laboratory, 1978-10)
The paper introduces a language for representing knowledge in a declarative form. With this language it is possible to define knowledge about a certain domain by introducing a number of concepts and by specifying their ...
Stepping Motor Control System
(MIT Artificial Intelligence Laboratory, 1979-02)
This paper describes a hardware system designed to facilitate position and velocity control of a group of eight stepping motors using a PDP-11. The system includes motor driver cards and other interface cards in addition ...
Some Examples of Conceptual Grammar
(MIT Artificial Intelligence Laboratory, 1978-12)
This paper gives some examples of the conceptual grammar approach to the representation of linguistic knowledge.
First we give a short overview of the language we use to represent knowledge. Then we discuss an example ...
Introducing Conceptual Grammar
(MIT Artificial Intelligence Laboratory, 1978-11)
This paper contains an informal and sketchy overview of a new way of thinking about linguistics and linguistic processing known as conceptual grammar.
Some ideas are presented on what kind of knowledge is involved in a ...
Floyd-Hoare Verifiers "Considered Harmful"
(1978-01-01)
The Floyd-Hoare methodology completely dominates the field of program verification and has contributed much to our understanding of how programs might be analyzed. Useful but limited verifiers have been developed using ...
The Computer as Coach: An Athletic Paradigm for Intellectual Education
(1976-12-01)
Over the next five years, computer games will find their way into a vast number of American homes, creating a unique educational opportunity: the development of "computer coaches" for the serious intellectual skills ...