BRICS · Contents · Lecturers · Programme · References · Prerequisites

Inductive Logic Programming

A BRICS Mini-Course
May 20, 21 and 23, 1997

Lectures by
Nada Lavrac
Department of Intelligent Systems, Jozef Stefan Institute, Ljubljana, Slovenija

Peter Flach
Infolab, Department of Management Information Science, Tilburg University, Holland


Course Contents

Inductive logic programming (ILP) is a research area, combining principles of inductive machine learning and logic programming. ILP aims at a formal framework and practical algorithms for inductively learning relational descriptions in the form of logic programs. ILP is of interest to inductive machine learning as it significantly extends the usual attribute-value representation and consequently enlarges the scope of machine learning applications; it is also of interest to logic programming as it extends the basically deductive framework of logic programming towards the use of induction. The course aims at giving an overview of the field, with an emphasis on the foundations and basic techniques.

ILP has already shown its potential for applications. Applications in a machine learning context include: knowledge acquisition, inductive data engineering, scientific discovery and knowledge discovery in databases. Potential applications in logic programming include: knowledge base updating, logic program synthesis, debugging and verification of programs, and deriving integrity constraints from databases.

About the Lecturers

Nada Lavrac

Nada Lavrac has been a research associate at the Department of Intelligent Systems, J. Stefan Institute, Ljubljana, Slovenia (since 1978) and a visiting professor at the Klagenfurt University, Austria (since 1987). She was a visiting researcher at the University of Illinois, the George Mason University and the Katholieke Universiteit Leuven, and has held graduate courses at the universities of Stockholm, Linkoping and Sao Paulo.

Her early research interests were in knowledge-based systems, qualitative modeling and logic programming. She participated in the KARDIO project, developing a knowledge acquisition paradigm based on qualitative modeling and machine learning, described in the book by I. Bratko, I. Mozetic and N. Lavrac: ``KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems'', The MIT Press, 1989. Her current research interest is in machine learning, in particular Inductive Logic Programming (ILP). Much of her recent work is described in the book by N. Lavrac and S. Dzeroski: ``Inductive Logic Programming: Techniques and Applications'', Ellis Horwood 1994.

Nada Lavrac is the scientific coordinator of the European Scientific Network in Inductive Logic Programming ILPNET (1993-1996) and is one of the project managers of the ESPRIT IV project Inductive Logic Programming II (1996-1998). She has been involved in the organization of many international workshops and conferences on Machine Learning and Inductive Logic Programming, including EWSL-87 (I. Bratko and N. Lavrac (eds.): Progress in Machine Learning, SIGMA Press, 1987) and ECML-95 (N. Lavrac and S. Wrobel (eds.): Machine Learning: ECML-95 - Proceedings of 8th European Machine Learning Conference, Springer, 1995).

Peter Flach

Peter Flach has been assistant professor in Computer Science at Tilburg University, the Netherlands, since 1988. His research interests include Inductive Logic Programming, logical foundations of induction, and intelligent reasoning. He recently published a textbook on intelligent reasoning, which gives practical Prolog implementations of many logical AI techniques such as theorem proving, model generation, language understanding, abduction, default reasoning, and induction (Simply Logical: intelligent reasoning by example, John Wiley, 1994).

Peter Flach is involved in the ESPRIT IV project Inductive Logic Programming II (1996-1998) and the European Scientific Network in Inductive Logic Programming ILPNET (1993-1996). He is acting secretary of IFIP Working Group 12.2 on Machine Learning. He has served on the Program Committees of several workshops on Algorithmic Learning Theory and Inductive Logic Programming.

Programme

Tuesday May 20, 1997, 13:15-15:00 in Auditorium D4

Wednesday May 21, 1997, 10:15-12:00 in Auditorium D4

Friday May 23, 1997, 13:15-15:00 in Auditorium D4

References

Course literature

  1. N. Lavrac and S. Dzeroski (1994) Inductive Logic Programming: Techniques and Applications. Chichester, UK: Ellis Horwood. (especially chapters 1-5 and 8)
  2. P. Flach (1992) Logical approaches to machine learning - An overview. THINK 1 (2), 25-36. ITK.
  3. P. Flach (1994) Simply logical: Intelligent reasoning by example. Chichester, UK: John Wiley. (especially chapter 9)
  4. S. Muggleton and L. De Raedt (1994) Inductive Logic Programming: Theory and Methods. Journal of Logic Programming 19/20, 629-679.
  5. J.R. Quinlan (1990) Learning logical definitions from relations. Machine Learning 5, 239-266. Boston: Kluwer Academic Publishers.

    Selection of other ILP literature

    1. Proceedings of the International ILP Workshops:
      • Viana de Castelo, Portugal, 1991
      • Tokyo, Japan, 1992
      • Bled, Slovenia, 1993
      • Sankt Augustin, Germany, 1994
      • Leuven, Belgium, 1995
    2. L. De Raedt (1992). Interactive Theory Revision: An Inductive Logic Programming Approach. Academic Press.
    3. L. De Raedt (ed.) (1996) Advances in Inductive Logic Programming. IOS Press.
    4. N. Lavrac and L. De Raedt (1995) Inductive Logic Programming: A Survey of European research. AI Communications 8 (1), 3-19.
    5. S. Muggleton (ed.) (1992) Inductive Logic Programming. Academic Press.
    6. S. Muggleton and W. Buntine (1988) Machine invention of first-order predicates by inverting resolution. In Proc. Fifth International Conference on Machine Learning, 339-352. San Mateo: Morgan Kaufman
    7. S. Muggleton and C. Feng (1990) Efficient induction of logic programs. In Proc. First Conference on Algorithmic Learning Theory, 368-381. Tokyo: Ohmsha.
    8. E.Y. Shapiro (1983) Algorithmic program debugging. Cambridge, MA: The MIT Press.

      Prerequisites

      The course will be accessible to anyone with some knowledge of logic.