ERIC Number: ED261647
Record Type: Non-Journal
Publication Date: 1985-Jun
Reference Count: N/A
Johnson, W. Lewis; Soloway, Elliot
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 article on PROUST recently published in BYTE Magazine, which provides an overview of the operation of the system; (2) the design document that was used to code the program from PROUST to Micro-PROUST, which contains an overview of the system, as well as test examples for Micro-PROUST, the parser, problem descriptions, processing the goal agenda, and the goal database; (3) preliminary comparisons of costs/benefits and techniques employed by PROUST and Micro-PROUST; and (4) the actual LISP code. The concept of "intention-based diagnosis" is utilized to explain PROUST's approach to correcting errors, and an illustration and application of intention-based diagnosis in PROUST are included in the comparison. Concluding recommendations include reservations as to whether Micro-PROUST can be as effective as its parent, PROUST, and suggests that further work is needed to determine its worth as a viable educational tool. (JB)
Publication Type: Computer Programs; Reports - Descriptive
Education Level: N/A
Sponsor: Office of Naval Research, Arlington, VA. Personnel and Training Research Programs Office.; Army Research Inst. for the Behavioral and Social Sciences, Arlington, VA.; Courseware, Inc., San Diego, CA.
Authoring Institution: Yale Univ., New Haven, CT. Dept. of Computer Science.