【作者】 赵丽丽； 孙吉贵；

【Author】 ZHAO Li-li,SUN Ji-gui (College of Computer Science and Technology,Key Laboratory for Symbolic Computation and Knowledge Engineering of Ministry of Education,Jilin University,Changchun 130012,China)

【机构】 吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室；

【摘要】 归纳逻辑程序设计是逻辑程序设计和机器学习的一个交叉研究领域。先概述了归纳逻辑程序设计的历史及发展现状;对归纳逻辑程序设计学习器进行了分类和形式化定义,并给出了学习器的质量标准;按划分的类型分别讨论了归纳逻辑程序设计学习器的主要求解算法;进一步指出了归纳逻辑程序设计未来的发展前景。提出了归纳逻辑程序设计领域需要深入研究的若干问题。更多还原

【Abstract】 Inductive logic programming is a intersectant research area of logic programming and machine learning. The present paper first introduces the history and the current status of ILP (Inductive Logic Programming) . Then, introduces the dimensions and the formalized definition of the inductive logic programming learner, and the criterion of the success of the learning system is described. Third, the main algorithms of the different learners are discussed. Furthermore, it points out the promising directions of the Inductive logic programming, and presents some problems for further development.更多还原