Bobrow, D. G.


Object-oriented programming: themes and variations

Classics

Did you know your Organization can subscribe to the ACM Digital Library?


Qualitative reasoning about physical systems: An introduction

Classics

This volume brings together current work on qualitative reasoning. Previous publication has been primarily in scattered conference proceedings. The appearance of this volume reflects the maturity of qualitative reasoning as a research area, and the growing interest in problems of reasoning about physical systems. Anyone concerned with automated reasoning about the real (physical) world should read and understand this material.


An overview of KRL, a knowledge representation language

Classics

The formalism for declarative knowledge is based on structured conceptual objects with associated descriptions. The control structure of krl is based on the belief that the next generation of intelligent programs will integrate data-directed and goal-directed processing by using multiprocessing. It provides procedure directories which operate along with process frameworks to allow procedural parameterization of the fundamental system processes for building, comparing, and retrieving memory structures. Future development of krl will include integrating procedure definition with the descriptive formalism.


GUS, a frame-driven dialog system

Classics

GUS is the first of a series of experimental computer systems that we intend to construct as part of a program of research on language understanding. GUS (Genial Understander System) is intended to engage a sympathetic and highly cooperative human in an English dialog, directed towards a specific goal within a very restricted domain of discourse. There is good reason for restricting the domain of discourse for a computer system which is to engage in an English dialog. Specializing the subject matter that the system can talk about permits it to achieve some measure of realism without encompassing all the possibilities of human knowledge or of the English language.





The Programming Language LISP

Classics

"Among the new languages for instructing computers is a remarkable one called LISP. The name comes from the first three letters of LIST and the first letter of PROCESSING. Not only is LISP a language for instructing computers but it is also a formal mathematical language, in the same way as elëmentary algebra when rigorously defined and used is a formal mathematical language.The LISP language and its implementation on the IBM 7090 computer were worked out by a group including John McCarthy, Stephen B. Russell , Daniel J. Edwards, Paul W. Abrahams, Timothy P. Hart, Michael I. Levin, Marvin L. Minsky, and others.LISP is designed primarily for processing data consisting of lists of symbols. It has been used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic , game playing, and other fields of intelligent handling of symbols."Information International, Inc, Cambridge, Mass.


The Programming Language LISP

Classics

"Among the new languages for instructing computers is a remarkable one called LISP. The name comes from the first three letters of LIST and the first letter of PROCESSING. Not only is LISP a language for instructing computers but it is also a formal mathematical language, in the same way as elëmentary algebra when rigorously defined and used is a formal mathematical language.The LISP language and its implementation on the IBM 7090 computer were worked out by a group including John McCarthy, Stephen B. Russell , Daniel J. Edwards, Paul W. Abrahams, Timothy P. Hart, Michael I. Levin, Marvin L. Minsky, and others.LISP is designed primarily for processing data consisting of lists of symbols. It has been used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic , game playing, and other fields of intelligent handling of symbols."Information International, Inc, Cambridge, Mass.


Natural language input for a computer problem solving system

Classics

An article based on the dissertation appears in Minsky, Marvin, Semantic Information Processing, Ch.3.In Minsky, M. L. (Ed.), Semantic Information Processing, pp. 133– 215. MIT Press