Induction of Constraint Logic Programs

Inductive Logic Programming (ILP) is concerned with learning hypotheses from examples, where both examples and hypotheses are represented in the Logic Programming (LP) language. The application of ILP to problems involving numerical information has shown the need for basic numerical background knowledge (e.g. relation “less than”). Our thesis is that one should rather choose Constraint Logic Programming (CLP) as the representation language of hypotheses, since CLP contains the extensions of LP developed in the past decade for handling numerical variables.

[1]  Jean-Gabriel Ganascia,et al.  Representation Changes for Efficient Learning in Structural Domains , 1996, ICML.

[2]  Joxan Jaffar,et al.  Constraint logic programming , 1987, POPL '87.

[3]  Stephen Muggleton,et al.  Efficient Induction of Logic Programs , 1990, ALT.

[4]  Lorenza Saitta,et al.  Learning Disjunctive Concepts by Means of Genetic Algorithms , 1994, ICML.

[5]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artificial Intelligence.

[6]  Michèle Sebag.  A Constraint-based Induction Algorithm in FOL , 1994, ICML.

[7]  Jean-Gabriel Ganascia,et al.  Selective Reformulation of Examples in Concept Learning , 1994, ICML.

[8]  Tom M. Mitchell,et al.  Generalization as Search , 2002 .

[9]  Francesco Bergadano,et al.  Guiding induction with domain theories , 1990 .

[10]  Pascal Van Hentenryck.  Constraint logic programming , 1991, The Knowledge Engineering Review.

[11]  Michèle Sebag,et al.  Delaying the Choice of Bias: A Disjunctive Version Space Approach , 1996, ICML.

[12]  Saso Dzeroski,et al.  Handling Real Numbers in ILP: A Step Towards Better Behavioural Clones (Extended Abstract) , 1995, ECML.

[13]  Michael J. Maher,et al.  Constraint Logic Programming: A Survey , 1994, J. Log. Program..

[14]  Pascal Van Hentenryck,et al.  Operational Semantics of Constraint Logic Programming over Finite Domains , 1991, PLILP.

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