nielsen@uiucdcs.UUCP (nielsen ) (01/21/84)
#R:sri-arpa:-1561600:uiucdcs:32300015:000:529
uiucdcs!nielsen Jan 20 22:23:00 1984
The Knowledge Based Programming Assistant Project here at the University of
Illinois was founded as a result of a very similar proposal.
A thesis you may be interested in which explains some of our work is
"GPSI : An Expert System to Aid in Program Debugging" by Andrew Laursen
which should be available through the university.
I would be very interested in corresponding with anyone who is considering
the use of expert systems in program debugging.
Paul Nielsen
{pur-ee, ihnp4}!uiucdcs!nielsen
nielsen@uiucdcsandrew@inmet.UUCP (01/26/84)
#R:sri-arpa:-1561600:inmet:11000006:000:146 inmet!andrew Jan 24 11:14:00 1984 There was a "Program Testing Assistant" that came out of MIT a few years back. I believe it was a student project that won an IEEE or ACM prize.
renner@uiucdcs.UUCP (01/28/84)
#R:sri-arpa:-1561600:uiucdcs:32300018:000:415
uiucdcs!renner Jan 28 00:14:00 1984
Ehud Shapiro's error diagnosis system is not an expert system. It doesn't
depend on a heuristic approach at all. Shapiro tries to find the faulty part
of a bad program by executing part of the program, then asking an "oracle" to
decide if that part worked correctly. I am very impressed with Shapiro's
work, but it doesn't have anything to do with "expert knowledge."
Scott Renner
{ihnp4,pur-ee}!uiucdcs!renner