On Generating Templates for Hypothesis in Inductive Logic Programming

  • Andrej Chovanec
  • Roman Barták
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7094)


Inductive logic programming is a subfield of machine learning that uses first-order logic as a uniform representation for examples and hypothesis. In its core form, it deals with the problem of finding a hypothesis that covers all positive examples and excludes all negative examples. The coverage test and the method to obtain a hypothesis from a given template have been efficiently implemented using constraint satisfaction techniques. In this paper we suggest a method how to efficiently generate the template by remembering a history of generated templates and using this history when adding predicates to a new candidate template. This method significantly outperforms the existing method based on brute-force incremental extension of the template.


inductive logic programming template generation constraint satisfaction 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barabási, A.-L., Réka, A.: Emergence of scaling in random networks. Science 286, 509–512 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Barták, R.: Constraint Models for Reasoning on Unification in Inductive Logic Programming. In: Dicheva, D., Dochev, D. (eds.) AIMSA 2010. LNCS (LNAI), vol. 6304, pp. 101–110. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  3. 3.
    Erdös, P., Rényi, A.: On Random Graphs I. Publicationes Mathematicae Debrecen 6, 290–297 (1959)MathSciNetzbMATHGoogle Scholar
  4. 4.
    Glover, F., Laguna, M.: Tabu Search. Kluwer, Norwell (1997)CrossRefzbMATHGoogle Scholar
  5. 5.
    Gottlob, G., Leone, N., Scarcello, F.: On the complexity of some inductive logic programming problems. New Generation Computing 17, 53–75 (1999)CrossRefGoogle Scholar
  6. 6.
    Maloberti, J., Sebag, M.: Fast Theta-Subsumption with Constraint Satisfaction Algorithms. Machine Learning 55, 137–174 (2004)CrossRefzbMATHGoogle Scholar
  7. 7.
    Mitzenmacher, M., Upfal, E.: Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press (2005)Google Scholar
  8. 8.
    Plotkin, G.: A note on inductive generalization. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 5, pp. 153–163. Edinburgh University Press (1970)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Andrej Chovanec
    • 1
  • Roman Barták
    • 1
  1. 1.Faculty of Mathematics and PhysicsCharles University in PraguePraha 1Czech Republic

Personalised recommendations