Search
Now showing items 41-50 of 54
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 ...
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 ...
RABBIT: A Compiler for SCHEME
(1978-05-01)
We have developed a compiler for the lexically-scoped dialect of LISP known as SCHEME. The compiler knows relatively little about specific data manipulation primitives such as arithmetic operators, but concentrates ...
Determining the Scope of English Quantifiers
(1978-06-01)
How can one represent the meaning of English sentences in a formal logical notation such that the translation of English into this logical form is simple and general? This report answers this question for a particular ...
Plan Verification in a Programmer's Apprentice
(MIT Artificial Intelligence Laboratory, 1978-01)
Brief Statement of the Problem:
An interactive programming environment called the Programmer's Apprentice is described. Intended for use by the expert programmer in the process of program design and maintenance, the ...
Vision Review
(MIT Artificial Intelligence Laboratory, 1978-05)
Mini-Robot Group User's Guide Part 2: Access From ITS
(MIT Artificial Intelligence Laboratory, 1978-06)
Part 2 of the MINI-ROBOT USER'S GUIDE describes those devices attached to the mini-robot system which may be accessed from ITS, and describes the appropriate software for accessing them. Specifically, the photowriter, ...
Mini-Robot Group User's Guide Part 1: The 11/45 System
(MIT Artificial Intelligence Laboratory, 1978-06)
This USER'S GUIDE is in two parts. Part 1 describes the facilities of the mini-robot group 11/45 and the software available to persons using those facilities. It is intended for those writing their own programs to be run ...