This detailed description of a microcomputer version of PROUST (Program Understander for Students), a knowledge-based system that finds nonsyntactic bugs in Pascal programs written by novice programmers, presents the inner workings of Micro-PROUST, which was written in Golden LISP for the IBM-PC (512K). The contents include: (1) a reprint of an…

Outlines a new approach to the design of learning machines which can be taught how to solve problems in industrial automation and other fields; and describes PURR-PUSS, a working system embodying this approach. The two key features of the system are "multiple context" and "novelty"; their contribution to the teachability of…

Recent technological developments in interfaces, programing philosophy, and artificial intelligence may invite the participation of women programers, who find a concrete, intuitive, and informal style of programing more congenial than the hierarchical, rule-driven style heretofore pervasive in computer culture. (DM)

This paper reviews the research leading from the GUIDON rule-based tutoring system, including the reconfiguration of MYCIN into NEOMYCIN and NEOMYCIN's generalization into the heuristic classification shell, HERACLES. The presentation is organized chronologically around pictures and dialogues that represent turning points and crystallize the basic…

This report describes the principal findings and recommendations of a 2-year Rand research project on machine-aided knowledge acquisition and discusses the transfer of expertise from humans to machines, as well as the functions of planning, debugging, knowledge refinement, and autonomous machine learning. The relative advantages of humans and…

The nature of thinking is the subject of this second part in a series which is examining various topics and issues related to the controversy of whether or not computers can think. Suggests that intelligence is the ability to develop general ideas and not the ability to apply those ideas. (JN)

The development of symbolic computer algebra designed to manipulate abstract mathematical expressions is discussed. The ability of this software to mimic the standard patterns of human problem solving represents a major advance toward "true" artificial intelligence. (MP)

A research plan for identifying and acting upon constraints that impede the development of knowledge-based intelligent systems is described. The two primary problems identified are knowledge programming, the task of which is to create an intelligent system that does what an expert says it should, and learning, the problem requiring the criticizing…

Artificial intelligence programing for computers is advancing rapidly. The translation of databases into an institutional research knowledge base is explored, including the heuristic knowledge of institutional research experience. (Author/MLW)

Presents perspectives on methodological assumptions underlying research efforts in artificial intelligence (AI) and charts activities, motivations, methods, and current status of research in each of the major AI subareas: natural language understanding; computer vision; expert systems; search, problem solving, planning; theorem proving and logic…

Discusses whether machines can think in the same sense that humans think. Provides four conclusions based on axioms of differences between computer programs and human minds. Compares claims of strong and weak artificial intelligence. (YP)

Artificial Intelligence researchers and cognitive scientists commonly believe that thinking involves manipulating representations. Thinking involves search, inference, and making choices. This is how we model reasoning and what goes on in the brain is similar. Winograd and Flores present a radically different view, claiming that our knowledge is…

This three-paper report describes Nigel, a large, programmed grammar of English which has been created in the framework of systemic linguistics begun by Halliday, and which, in addition to specifying functions and structures of English, has a novel semantic stratum which specifies the situations for use of each grammatical feature. The…

To demonstrate to computer programmers that the programming language Ada provides superior facilities for use in artificial intelligence applications, the three papers included in this report investigate the capabilities that exist within Ada for "pattern-directed" programming. The first paper (Larry H. Reeker, Tulane University) is…

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…