Learning from Entailment of Logic Programs with Local Variables

In this paper, we study exact learning of logic programs from entailment and present a polynomial time algorithm to learn a rich class of logic programs that allow local variables and include many standard programs like append, merge, split, delete, member, prefix, suffix, length, reverse, append/4 on lists, tree traversal programs on binary trees and addition, multiplication, exponentiation on natural numbers. Grafting a few aspects of incremental learning [9] onto the framework of learning from entailment [3], we generalize the existing results to allow local variables, which play an important role of sideways information passing in the paradigm of logic programming.

[1]  William W. Cohen,et al.  Learnability of description logics , 1992, COLT '92.

[2]  Michael Frazier,et al.  Learning From Entailment: An Application to Propositional Horn Sentences , 1993, ICML.

[3]  Prasad Tadepalli,et al.  Learning First-Order Acyclic Horn Programs from Entailment , 1998, ILP.

[4]  D. Angluin.  Queries and Concept Learning , 1988 .

[5]  Leon Sterling,et al.  The Art of Prolog , 1987, IEEE Expert.

[6]  Céline Rouveirol,et al.  Extensions of Inversion of Resolution Applied to Theory Completion , 1992 .

[7]  Dana Angluin,et al.  Learning with hints , 1988, COLT '88.

[8]  Luc De Raedt,et al.  Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..

[9]  Saso Dzeroski,et al.  PAC-learnability of determinate logic programs , 1992, COLT '92.

[10]  Michael Frazier,et al.  CLASSIC Learning , 1994, COLT.

[11]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[12]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[13]  Shan-Hwei Nienhuys-Cheng,et al.  The subsumption theorem for several forms of resolution , 1996 .

[14]  Hiroki Arimura,et al.  Learning Acyclic First-Order Horn Sentences from Entailment , 1997, ALT.

[15]  Ehud Shapiro,et al.  Inductive Inference of Theories from Facts , 1991, Computational Logic - Essays in Honor of Alan Robinson.

[16]  J. W. Lloyd,et al.  Foundations of logic programming; (2nd extended ed.) , 1987 .

[17]  M. R. K. Krishna Rao,et al.  Incremental Learning of Logic Programs , 1995, ALT.