| The FRL Manual. |
SEP 1977 |
|
| Authors:
R. Bruce Roberts; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
 | The Frame Representation Language (FRL) is described. FRL is an adjunct to LISP which implements several representation techniques suggested by Minsky's concept of a frame: defaults, constraints, inheritance, procedural attachment, and annotation. (Author) |
|
| The FRL Primer. |
JUL 1977 |
|
| Authors:
R. Bruce Roberts; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| The Frame Representation Language (FRL) is an experimental language written to explore the use of frames as a knowledge representation technique. The term 'frame' as used in FRL was inspired by Minsky's (75) development of frame theory. FLR extends the traditional Property List representation scheme by allowing properties to have comments, defaults and constraints, to inherit information from abstract forms of the same type, and to have attached procedures triggered ... |
|
| Overview of a Linguistic Theory of Design. |
FEB 1977 |
|
| Authors:
Mark L. Miller; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| The SPADE theory uses linguistic formalisms to model the program planning and debugging processes. The theory has been applied to constructing a grammar-based editor in which programs are written in a structured fashion, designing an automatic programming system based on an Augmented Transition Network, and parsing protocols of programming episodes. |
|
| Annotated Production Systems: A Model for Skill Acquisition, |
FEB 1977 |
|
| Authors:
Ira P. Goldstein; Eric Grimson; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| APS provide a procedural model for skill acquisition by augmenting a production model of the skill with formal commentary describing plans, bugs, and interrelationships between various productions. This commentary supports processes of efficient interpretation, self-debugging and self-improvement. The theory of annotated productions is developed by analyzing the skill of attitude instrument flying. An annotated production interpreter has been written that executes skill models which control a flight simulator. (Author) |
|
| Overlays: A Theory of Modelling for Computer Aided Instruction, |
FEB 1977 |
|
| Authors:
Brian Carr; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| Overlay modelling is a technique for describing a student's problem solving skills in terms of a modular program designed to be an expert for the given domain. The model is an overlay on the expert program in that it consists of a set of hypotheses regarding the student's familiarity with the skills employed by the expert. (Author) |
|
| SPADE: A Grammar Based Editor for Planning and Debugging Programs, |
DEC 1976 |
|
| Authors:
Mark L. Miller; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| A grammar of plans is developed from a taxonomy of basic planning techniques. This grammar serves as the basis for the design of a new kind of interactive programming environment (SPADE), in which programs are generated by explicitly articulating planning decisions. The utility of this approach to program definition is that a record of these decisions, called the plan derivation, provides guidance for subsequent modification or debugging of the program. ... |
|
| Structured Planning and Debugging. A Linguistic Theory of Design, |
DEC 1976 |
|
| Authors:
Ira P. Goldstein; Mark L. Miller; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| A unified theory of planning and debugging is explored by designing a problem solving program called PATN. PATN uses an augmented transition network (ATN) to represent a broad range of planning techniques, including identification, decomposition, and reformulation. (The ATN is a simple yet powerful formalism which has been effectively utilized in computational linguistics). PATN's plans may manifest 'rational bugs', which result from heuristically justifiable but incorrect arc transitions in the ... |
|
| Overview of a Linguistic Theory of Design. |
DEC 1976 |
|
| Authors:
Mark L. Miller; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| SPADE is a theory of the design of computer programs in terms of complementary planning and debugging processes. An overview of the author's recent research on this theory is provided. SPADE borrows tools from computational linguistics -- grammars, augmented transition networks (ATN's), chart-based parsers -- to formalize planning and debugging. The theory has been applied to parsing protocols of programming episodes, constructing a grammar-based editor in which programs are written ... |
|
| Wumpus Advisor 1. A First Implementation of a Program That Tutors Logical and Probabilistic Reasoning Skills. |
OCT 1976 |
|
| Authors:
James L. Stansfield; Brian P. Carr; Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| The Wumpus Advisor program offers advice to a player involved in choosing the best move in a game for which competence in dealing with incomplete and uncertain knowledge is required. The design and implementation of the advisor explores a new paradigm in Computer Assisted Briefing, in which the performance of computer-based knowledge sources is greatly improved through the application of Artificial Intelligence techniques. This report describes the design of the ... |
|
| LLOGO: An Implementation of LOGO in LISP. |
JUN 1974 |
|
| Authors:
Ira P. Goldstein; Henry Lieberman; Harry Bochner; Mark Miller; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| This paper describes LLOGO, an implementation of the LOGO language written in MACLISP for the ITS, TEN50, and TENEX PDP-10 systems, and MULTICS. The relative merits of LOGO and LISP as educational languages are discussed. Design decisions in the LISP implementations: CLOGO for the PDP-10 and 11LOGO for the PDP-11, both written in assembler language. LLOGO's special facilities for character-oriented display terminals, graphic display 'turtles,' and music are also described. ... |
|
| Summary of MYCROFT: A System for Understanding Simple Picture Programs. |
MAY 1974 |
|
| Authors:
Ira P. Goldstein; MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB
|
| A collection of powerful ideas-description, plans, linearity, insertions, global knowledge and imperative semantics-are explored which are fundamental to debugging skill. To make these concepts precise, a computer monitor called MYCROFT is described that can debug elementary programs for drawing pictures. The programs are those written for LOGO turtles. |
|
Reports by Author
