Challenges for inductive logic programming

Abstract

Inductive logic programming (ILP) is a research area that has its roots in inductive machine learning and logic programming. Computational logic has significantly influenced machine learning through the field of inductive logic programming (ILP) which is concerned with the induction of logic programs from examples and background knowledge. Machine learning, and ILP in particular, has the potential to influence computational logic by providing an application area full of industrially significant problems, thus providing a challenge for other techniques in computational logic. In ILP, the recent shift of attention from program synthesis to knowledge discovery resulted in advanced techniques that are practically applicable for discovering knowledge in relational databases. This paper gives a brief introduction to ILP, presents state-of-the-art ILP techniques for relational knowledge discovery as well as some chal-legnes and directions for further developments in this area.