Advertisement

Inductive Logic Programming in Answer Set Programming

  • Domenico Corapi
  • Alessandra Russo
  • Emil Lupu
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7207)

Abstract

In this paper we discuss the design of an Inductive Logic Programming (ILP) system in Answer Set Programming (ASP) and more in general the problem of integrating the two. We show how to formalise the learning problem as an ASP program and provide details on how the optimisation features of modern solvers can be adapted to derive preferred hypotheses.

Keywords

Inductive Logic Inductive Logic Programming Hypothesis Space Nonmonotonic Logic Stable Model Semantic 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Corapi, D., Russo, A., Lupu, E.: Inductive logic programming as abductive search. In: Tec. Comm. of the 26th ICLP, Dagstuhl, Germany. LIPIcs, vol. 7, pp. 54–63 (2010)Google Scholar
  2. 2.
    Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.T.: Potassco: The potsdam answer set solving collection. AI Commun. 24(2), 107–124 (2011)MathSciNetzbMATHGoogle Scholar
  3. 3.
    Lloyd, J.W.: Foundations of logic programming. Springer-Verlag New York, Inc., New York (1984)zbMATHCrossRefGoogle Scholar
  4. 4.
    Muggleton, S.: Inverse entailment and progol. New Gen. Comp. 13(3&4), 245–286 (1995)CrossRefGoogle Scholar
  5. 5.
    Perri, S., Scarcello, F., Leone, N.: Abductive logic programs with penalization: Semantics, complexity and implementation. TPLP 5(1-2), 123–159 (2005)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Sakama, C.: Nonmonotonic Inductive Logic Programming. In: Eiter, T., Faber, W., Truszczyński, M. (eds.) LPNMR 2001. LNCS (LNAI), vol. 2173, pp. 62–80. Springer, Heidelberg (2001)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Domenico Corapi
    • 1
  • Alessandra Russo
    • 1
  • Emil Lupu
    • 1
  1. 1.Department of ComputingImperial College LondonLondonUnited Kingdom

Personalised recommendations