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…

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…

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…

Reviews factors that have delayed use of expert system authoring tools in education and describes applications of two such tools--Expert-Ease and M.1.--to special education. Learning to use the tools, creating programs, and consulting the systems are the topics covered. Sources for further information on expert systems are provided. (MBR)

Computers, chip technologies, networking, and artificial intelligence all need vast improvement just to take their place as tools for building new computers. Research efforts, progress, and needs in each of these areas are addressed. (JN)

This report is a guide for the maintainer or developer of the computerized comprehensibility system (CCS), a system that uses techniques and results from artificial intelligence and cognitive psychology to critique the comprehensibility of a technical document. The purpose of this report is to allow the qualified programmer to rapidly understand…

Discussion of the history and development of artificial intelligence (AI) highlights a bibliography of introductory books on various aspects of AI, including AI programing; problem solving; automated reasoning; game playing; natural language; expert systems; machine learning; robotics and vision; critics of AI; and representative software. (LRW)

Intended for learners with a basic familiarity with the Logo programming language, this manual is designed to introduce them to artificial intelligence and enhance their programming capabilities. Nine chapters discuss the following features of Logo: (1) MAZE.MASTER, a look at robots and how sensors make machines aware of their environment; (2)…

Discusses: how artificial intelligence (AI) can advance education; if the future of software lies in AI; the roots of intelligent computer-assisted instruction; protocol analysis; reactive environments; LOGO programming language; student modeling and coaching; and knowledge-based instructional programs. Numerous examples of AI programs are cited.…

Discusses Japanese endeavors to create a new generation of computers endowed with intelligence, and the U.S. and European responses to these endeavors. Major U.S. efforts have been through private industry and the Defense Advanced Research Agency, while the National Science Foundation has increased support for developing advanced scientific…

Surveys artificial intelligence and the development of computer-based tutors and speculates on the future of artificial intelligence in education. Includes discussion of the definitions of knowledge, expert systems (computer systems that solve tough technical problems), intelligent tutoring systems (ITS), and specific ITSs such as GUIDON, MYCIN,…

This study reports the use of automated textual analysis on a French novel. An introductory section chronicles the history of artificial intelligence, focusing on its use with natural languages, and discusses its application to textual syntax. The first chapter examines computational linguistics in greater detail, looking at its relationship to…