Can Relational Learning Scale Up?

  • Attilio Giordana
  • Lorenza Saitta
  • Michele Sebag
  • Marco Botta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1932)


A key step of supervised learning is testing whether a can- didate hypothesis covers a given example. When learning in first order logic languages, the covering test is equivalent to a Constraint Satisfaction Problem (CSP). For critical values of some order parameters, CSPs present a phase pransition, that is, the probability of finding a solution abruptly drops from almost 1 to almost 0, and the complexity drama- tically increases. This paper analyzes the complexity and feasibility of learning in first order logic languages with respect to the phase transition of the covering test.


Phase Transition Predictive Accuracy Information Gain Hard Problem Constraint Satisfaction Problem 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BGS99]
    M. Botta, A. Giordana, and L. Saitta. Relational learning: Hard problems and phase transitions. In Proceedings of th 16th International Joint Conference on Artificial Intelligence, pages 1198–1203, Stockholm, Sweden, 1999.Google Scholar
  2. [BGSS00]
    M. Botta, A. Giordana, L. Saitta, and M. Sebag. Relational learning: Hard problems and phase transition. In Selected papers from AIIA’99, volume to appear. Springer-Verlag, 2000.Google Scholar
  3. [GS00]
    A. Giordana and L. Saitta. Phase transitions in relational learning. Machine Learning, x:to appear, 2000.Google Scholar
  4. [HHW96]
    T. Hogg, B.A. Huberman, and C.P. Williams, editors. Artificial Intelligence: Special Issue on Frontiers in Problem Solving: Phase Transitions and Complexity, volume 81(1-2). Elsevier, 1996.Google Scholar
  5. [MDR94]
    S. Muggleton and L. De Raedt. Inductive logic programming: Theory and methods. Journal of Logic Programming, 19:629–679, 1994.CrossRefMathSciNetGoogle Scholar
  6. [Pro96]
    P. Prosser. An empirical study of phase transitions in binary constraint satisfaction problems. Artificial Intelligence, 81:81–110, 1996.CrossRefMathSciNetGoogle Scholar
  7. [Qui90]
    R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239–266, 1990.Google Scholar
  8. [Ris78]
    J. Rissanen. Modeling by shortest data description. Automatica, 14:465–471, 1978.CrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Attilio Giordana
    • 1
  • Lorenza Saitta
    • 1
  • Michele Sebag
    • 2
  • Marco Botta
    • 3
  1. 1.DISTAUniversità del Piemonte OrientaleAlessandriaItaly
  2. 2.École PolytechniqueLMSPalaiseauFrance
  3. 3.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Personalised recommendations