WorldCat Identities

Goldstein, Ira P. (Ira Philip)

Overview
Works: 19 works in 22 publications in 1 language and 67 library holdings
Roles: Author
Classifications: Q335.M41, 005.133
Publication Timeline
.
Most widely held works by Ira P Goldstein
PAZATN: a linguistic approach to automatic analysis of elementary programming protocols by Mark L Miller( Book )

2 editions published in 1976 in English and held by 7 WorldCat member libraries worldwide

The FRL primer by R. Bruce Roberts( Book )

1 edition published in 1977 in English and held by 7 WorldCat member libraries worldwide

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 by adding or deleting values, or if a value is needed. We introduce FRL with the aid of a simple example: WHOSIS, a database of Al person's names, addresses, interests, and publications. A second section contains an abridged manual describing FRL's most-used commands and conventions. (Author)
Structured planning and debugging : a linguistic theory of design by Mark L Miller( Book )

1 edition published in 1976 in English and held by 6 WorldCat member libraries worldwide

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 planning ATN. This aspect of the theory is developed by designing a complementary debugging module called DAPR, which would diagnose and repair the errors in PATN's annotated plans. The investigation is incomplete: PATN has not yet been implemented. But sufficient detail is presented to provide a theoretical framework for reconceptualizing Sussman's HACKER research. Since a detailed study of planning and debugging techniques is a prerequisite for complete fulfillment of Dijkstra's objectives of program reliability, readability, portability, and so on, the theory is called, 'Structured Planning and Debugging', to emphasize its potential role in this enterprise
AI based personal learning environments : directions for long term research by Ira P Goldstein( Book )

2 editions published in 1976 in English and held by 6 WorldCat member libraries worldwide

Overview of a linguistic theory of design by Mark L Miller( Book )

1 edition published in 1976 in English and held by 5 WorldCat member libraries worldwide

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
Artificial intelligence, language and the study of knowledge by Ira P Goldstein( Book )

1 edition published in 1976 in English and held by 5 WorldCat member libraries worldwide

Parsing protocols using problem solving grammars by Mark L Miller( Book )

1 edition published in 1976 in English and held by 5 WorldCat member libraries worldwide

NUDGE : a knowledge-based scheduling program by Ira P Goldstein( Book )

1 edition published in 1977 in English and held by 5 WorldCat member libraries worldwide

SPADE : a grammar based editor for planning and debugging programs : Mark L. Miller and Ira P. Goldstein by Mark L Miller( Book )

1 edition published in 1976 in English and held by 5 WorldCat member libraries worldwide

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. Moreover, this grammatical approach to planning allows the development of a taxonomy of bugs, as particular kinds of errors in applying the planning grammar. Following a linguistic analogy, five types of planning bugs are characterized: syntactic, semantic, pragmatic, circumlocutions, and slips of the tongue. The plan derivation can be accessed during subsequent debugging, to aid in diagnosing the underlying cause of the erroneous code. Repair is accomplished via replanning, in which a substructure of the derivation is replaced. A debugging assistant for the SPADE environment (RAID) is designed based on this theory. The enterprise embodies Dijkstra's philosophy of programming in a structured fashion, but represents a more detailed study of planning and debugging techniques than has previously been attempted. (Author)
Annotated production systems : a model for skill acquisition by Ira P Goldstein( Book )

1 edition published in 1977 in English and held by 4 WorldCat member libraries worldwide

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)
The FRL manual by R. Bruce Roberts( Book )

1 edition published in 1977 in English and held by 3 WorldCat member libraries worldwide

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)
Overlays : a theory of modelling for computer aided instruction by Brian Carr( Book )

1 edition published in 1977 in English and held by 3 WorldCat member libraries worldwide

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)
Bouncing balls simulating simple physics by Ira P Goldstein( Book )

1 edition published in 1972 in English and held by 1 WorldCat member library worldwide

Intelligent tutoring programs : a proposal for research by I Goldstein( Book )

1 edition published in 1976 in English and held by 1 WorldCat member library worldwide

The genetic epistemology of rule systems by Massachusetts Institute of Technology( Book )

1 edition published in 1978 in English and held by 1 WorldCat member library worldwide

Some projects in automatic programming by Ira P Goldstein( Book )

1 edition published in 1974 in English and held by 1 WorldCat member library worldwide

Summary of Mycroft : a system for understanding simple picture programs by Ira P Goldstein( Book )

2 editions published in 1974 in English and held by 1 WorldCat member library worldwide

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
DISTINGUISHED LECTURE SERIES DR. IRA GOLDSTEIN: Natural language access to databases by Ira P Goldstein( Visual )

1 edition published in 1987 in English and held by 1 WorldCat member library worldwide

Natural language vs. formal query languages has been reviewed and reasons why NL interfaces are difficult to develop for serious applications have been reviewed. Outlines a more general framework for measuring the quality of NL interfaces for database query
Computers in a learning society : testimony for the House Science and Technology Subcommittee on Domestic and International Planning, Analysis, and Cooperation by John Seely Brown( Book )

1 edition published in 1977 in English and held by 0 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.79 (from 0.54 for DISTINGUIS ... to 1.00 for Computers ...)

Languages
English (22)