| FOCL is a machine learning system that extends Quinlan's FOIL program by containing a compatible explanation-based learning component. FOCL learns Horn Clause programs from examples and (optionally) background knowledge. The Macintosh version of FOCL also contains a graphical interface that graphs the search space explored by FOCL, so it is a useful pedagogical tool for explaining inductive and explanation-based learning. In addition, there are facilities for creating and graphically editing knowledge-bases, tracing rules, and generating explanations, so the Mac version may be used as an expert system shell. | | |