Advertisement

CLASSIC’CL: An Integrated ILP System

  • Christian Stolle
  • Andreas Karwath
  • Luc De Raedt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3735)

Abstract

A novel inductive logic programming system, called Classic’cl is presented. Classic’cl integrates several settings for learning, in particular learning from interpretations and learning from satisfiability. Within these settings, it addresses descriptive and probabilistic modeling tasks. As such, Classic’cl (C-armr, cLAudien, icl-S(S)at, ICl, and CLlpad) integrates several well-known inductive logic programming systems such as Claudien, Warmr (and its extension C-armr), ICL, ICL-SAT, and LLPAD. We report on the implementation, the integration issues as well as on some experiments that compare Classic’cl with some of its predecessors.

Keywords

Inductive Logic Programming Horn Clause Language Bias Candidate Clause Inductive Logic Programming System 
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.

References

  1. 1.
    Blockeel, H., De Raedt, L.: Top-down induction of first order logical decision trees. AI 101(1-2), 285–297 (1998)zbMATHGoogle Scholar
  2. 2.
    Blockeel, H., Dehaspe, B., Demoen, L., Janssens, G.: Improving the efficiency of inductive logic programming through the use of query packs. JAIR 16, 135–166 (2002)zbMATHGoogle Scholar
  3. 3.
    Blockeel, H., Dehaspe, L., Ramon, J., Struyf, J.: Ace - a combined systemGoogle Scholar
  4. 4.
    De Raedt, L.: Logical settings for concept-learning. AI 95(1), 187–201 (1997)zbMATHMathSciNetGoogle Scholar
  5. 5.
    De Raedt, L., Dehaspe, L.: Clausal discovery. Machine Learning 26, 99–146 (1997)zbMATHCrossRefGoogle Scholar
  6. 6.
    De Raedt, L., Ramon, J.: Condensed representations for inductive logic programming. In: KR 2004, pp. 438–446 (2004)Google Scholar
  7. 7.
    De Raedt, L., Van Laer, W.: Inductive constraint logic. In: Zeugmann, T., Shinohara, T., Jantke, K.P. (eds.) ALT 1995. LNCS, vol. 997. Springer, Heidelberg (1995)Google Scholar
  8. 8.
    Dehaspe, L.: Frequent Pattern Discovery in First-Order Logic. K. U. Leuven (December 1998)Google Scholar
  9. 9.
    Kersting, K.K., Raiko, T., Kramer, S., De Raedt, L.: Towards discovering structural signatures of protein folds based on logical hidden markov models. In: PSB 2003, pp. 192–203 (2003)Google Scholar
  10. 10.
    King, R.D., Muggleton, S., Srinivasan, A., Sternberg, M.J.E.: Structure-activity relationships derived by machine learning: The use of atoms and their bond connectivities to predict mutagenicity by inductive logic programming. PNAS 93, 438–442 (1996)CrossRefGoogle Scholar
  11. 11.
    Mannila, H., Toivonen, H.: Levelwise search and borders of theories in knowledge discovery. Data Mining and Knowledge Discovery 1 (1997)Google Scholar
  12. 12.
    Muggleton, S.: Inverse entailment and Progol. New Generation Computing, Special issue on Inductive Logic Programming 13(3-4), 245–286 (1995)Google Scholar
  13. 13.
    Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic programming 17(20), 629–679 (1994)CrossRefMathSciNetGoogle Scholar
  14. 14.
    Muggleton, S., King, R.D., Sternberg, M.J.E.: Protein secondary structure prediction using logic. In: Muggleton, S. (ed.) ILP 1992, pp. 228–259 (1992) Report ICOT TM-1182Google Scholar
  15. 15.
    Riguzzi, F.: Learning logic programs with annotated disjunctions. In: Camacho, R., King, R., Srinivasan, A. (eds.) ILP 2004. LNCS (LNAI), vol. 3194, pp. 270–287. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  16. 16.
    Srinivasan, A.: The aleph manualGoogle Scholar
  17. 17.
    Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. Technical report cw386, K.U. Leuven (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Christian Stolle
    • 1
  • Andreas Karwath
    • 1
  • Luc De Raedt
    • 1
  1. 1.Institut für InformatikAlbert-Ludwigs Universität FreiburgFreiburgGermany

Personalised recommendations