ISSN 1000-1239 CN 11-1777/TP

• 综述 •

### 归纳逻辑程序设计综述

1. (计算机软件新技术国家重点实验室(南京大学) 南京 210023) (daiwz@lamda.nju.edu.cn)
• 出版日期: 2019-01-01
• 基金资助:
国家重点研发计划项目(2018YFB1004300);国家自然科学基金项目(61751306)

### A Survey on Inductive Logic Programming

Dai Wangzhou, Zhou Zhihua

1. (National Key Laboratory for Novel Software Technology (Nanjing University), Nanjing 210023)
• Online: 2019-01-01

Abstract: Inductive logic programming (ILP) is a subfield of symbolic rule learning that is formalized by first-order logic and rooted in first-order logical induction theories. The model learned by ILP is a set of highly interpretable first-order rules rather than black boxes; owing to the strong expressive power of first-order logic language, it is relatively easier to exploit domain knowledge during learning; the learned model by ILP can be used for modeling relationships between subjects, rather than predicting the labels of independent objects. However, due to its huge and complicated underlying hypothesis space, it is difficult for ILP to learn models efficiently. This paper tries to review most of the current researches in this area. Mainstream ILP approaches are introduced according to different categorizations of first-order logical induction theories. This paper also reviews the most recent progress in the ILP area, including ILP techniques based on second-order logical abduction, probabilistic inductive logic programming (PILP) and the ILP approaches that introduce differentiable components. This paper also introduces some representative applications of ILP approaches in practical problems, and then talks about its major challenges, and finally discusses about the prospects for future research directions.