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…

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…

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 report describes the application of a shell expert system from the medical diagnostic system, Neomycin, to Caster, a diagnostic system for malfunctions in industrial sandcasting. This system was developed to test the hypothesis that starting with a well-developed classification procedure and a relational language for stating the…

Reviews different structures and techniques of knowledge representation: structure of database records and files, data structures in computer programming, syntatic and semantic structure of natural language, knowledge representation in artificial intelligence, and models of human memory. A prototype expert system that makes use of some of these…

Describes a programming environment called Tinker, in which a beginning programmer presents examples to the machine, distinguishing accidental and essential aspects of the examples. Examples of programming in Tinker are presented in which programmers demonstrate how to handle specific examples and the machine formulates a procedure for handling…

Discussion of intelligent computer assisted learning (CAL) systems considers both those that offer natural language communication to the user and those that are adaptive, generative, or self-improving. Current interest in student-built learning environments (exemplified by work with LOGO and PROLOG) is examined, and obstacles to future intelligent…

This sourcebook is intended to provide researchers and users of natural language computer systems with a classification scheme to describe language-related problems associated with such systems. Methods from the disciplines of artificial intelligence (AI), education, linguistics, psychology, anthropology, and psychometrics were applied in an…

A group of American and Japanese psychologists, anthropologists, linguists, and computer scientists gathered at the University of California, San Diego, to exchange ideas on models of joint problem solving and their special relevance to the design and implementation of computer-based systems of instruction. Much of the discussion focused on…

Provided is an overview and analysis of recent progress in applying electronic information technology to creation of new environments for intellectual work in mathematics. Describes the impact of numerical computation, graphic computation, symbolic computation, multiple representation of information, programing and information, and artificial…

This report examines the features and performance of the BUG-FINDing component of MENO-II, a computer-based tutor for beginning PASCAL programming students. A discussion of the use of artificial intelligence techniques is followed by a summary of the system status and objectives. The two main components of MENO-II are described, beginning with the…

Discusses the coming generation of supercomputers that will have the power to make elaborate "artificial realities" that facilitate user-computer communication. Illustrates these technological advancements with examples of the use of head-mounted monitors which are connected to position and orientation sensors, and gloves that track finger and…

Summarizes an initial foray in tackling artificial intelligence problems using a connectionist approach. The task chosen is visual recognition of Origami objects, and the questions answered are how to construct a connectionist network to represent and recognize projected Origami line drawings and the advantages such an approach would have. (30…