Technical Reports

The report FIMU-RS-95-03

WiM: A Study on the Top-Down ILP Program

by Lubo¹ Popelínský, August 1995, 18 pages.

FIMU-RS-95-03. Available as Postscript, PDF.


In the area of the inductive synthesis of logic programs it is the small number of examples which is crucial. We show that the classical MIS-like architecture can be adapted using techniques described in ILP literature so that we reach very good results if to compare with other ILP systems. We describe the top-down ILP program WiM and the results obtained through it. WiM needs from 2 to 4 examples for most of the ILP benchmark predicates. Even though it is interactive, not more that one membership query is enough to receive the correct target program. WiM has higher efficiency of learning as well as smaller dependency on the quality of the example set in comparison to some of ILP programs. The quality of learning has been tested both on good examples and on randomly chosen example sets.

Responsible contact: unix(atsign)fi(dot)muni(dot)cz