Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner.

Abstract. The algorithm SPECTRE specializes logic programs,with respect to positive and negative examples,by applying the transformation rule unfolding together with clause removal. The method IMPUT presented in this paper gives a modified,version of this algorithm by integrating the algorithmic debugging,system IDTS with SPECTRE. The main idea of the IMPUT method,is that the identification ofa clause to be unfolded has a crucial importance in the effectiveness of the specialization process. The debugging,system IDTS is used to identify this buggy clause ,. Keywords. Logic and Constraint Programming, Machine Learning