sreedhar@cleanhead.cs.unlv.edu (11/23/90)
Hello everybody: I am presently working on Justification Based Truth Maintenace system. I have been reading Doyle paper in AI journal. I am interested in actually see it work. I am sure there are systems implemented. Can any one give me some pointers to source code to JTMS. I prefer C code under unix or interface to systems like clips. thanks sridhar
duchier@cs.yale.edu (Denys Duchier) (11/24/90)
In article <1990Nov22.222914.11422@unlv.edu> sreedhar@cleanhead.cs.unlv.edu writes: > I am presently working on Justification Based > Truth Maintenace system. I have been reading > Doyle paper in AI journal. I am interested [...] From the department of computer science at Yale University: A General Framework for Reason Maintenance Drew McDermott YALEU/CSD/RR #691 March 1989 This report presents a unified treatment of justification-based (Doyle), logic-based (McAllester), assumption-based (McDermott, DeKleer), and other sorts of RMSes. It also includes a lisp implementation in appendix. --Denys