开年重磅——周志华团队综述归纳逻辑程序设计

2019 年 1 月 22 日 计算机研究与发展

归纳逻辑程序设计综述

戴望州，周志华

归纳逻辑程序设计(inductive logic programming, ILP)是以一阶逻辑归纳理论为基础，并以一阶逻辑为表达语言的符号规则学习方法. ILP学得的模型是易于理解的一阶逻辑符号规则，而非难以解释的黑箱模型；在学习中可以相对容易地显式利用以一阶逻辑描述的领域知识；学得模型能对领域中个体间的关系进行建模，而非仅仅对个体的标记进行预测. 然而，由于潜在假设空间巨大，进行高效学习有相当的困难.

本文综述了ILP领域的研究情况，从不同一阶逻辑归纳理论的角度对主流的ILP方法做出了梳理.还介绍了近年来ILP基于二阶诱导推理理论的扩展、基于概率的扩展和引入可微构件的扩展.最后，介绍了ILP在实际任务中的代表性应用，探讨了ILP方法目前所遇到的挑战，并对其未来发展进行了展望.

戴望州，周志华. 归纳逻辑程序设计综述[J]. 计算机研究与发展, 2019, 56(1): 138-154.
Dai Wangzhou, Zhou Zhihua. A Survey on Inductive Logic Programming. Journal of Computer Research and Development, 2019, 56(1): 138-154.

主编寄语

《计算机研究与发展》已经走过六十年，在开启下一个甲子新征程之际，我们将把六十甲子作为新的起点，不忘初心，除报道原创性研究成果论文和综述外，更加关注具有技术突破的实践文章，鼓励提出新颖的学术观点。

本期特刊邀约了体系结构、操作系统、网络与信息安全、智能应用等方面的学术文章13篇，从各个角度对计算机领域的未来研究进行展望，一定程度上反映了《计算机研究与发展》未来的关注方向。

本期特刊既是《计算机研究与发展》创刊六十周年的一份纪念，更是我们踏上新征程的开篇。我们将传承与时俱进、锐意创新的办刊传统，进一步深化“研究”与“发展”的内容特色和反应快、传播广的服务特色，把握中文科技期刊的发展新机遇，将《计算机研究与发展》打造成为展示和交流我国计算机领域创新成果不可或缺的重要平台，更好地为广大科研工作者服务。

特刊论文目录

1、韩栋,周聖元,支天,陈云霁,陈天石. 智能芯片的评述和展望

2、陆游游,杨者,舒继武. 闪存存储的重构与系统构建技术

3、余子濠,刘志刚,李一苇,黄博文,王卅,孙凝晖,包云岗. 芯片敏捷开发实践：标签化RISC-V

4、戴华东,易晓东,王彦臻,王之元,杨学军. 可持续自主学习的micROS机器人操作系统平行学习架构

5、吴松，王坤，金海. 操作系统虚拟化的研究现状与展望

6、施巍松,张星洲,王一帆,张庆阳. 边缘计算：现状与展望

7、徐志伟，曾琛，朝鲁，彭晓晖. 面向控域的体系结构：一种智能万物互联的体系结构风格

8、罗军舟，杨明，凌振，吴文甲，顾晓丹. 匿名通信与暗网研究综述

9、曹珍富. 信息安全的新发展——为《计算机研究与发展》创刊六十周年而作

10、戴望州，周志华. 归纳逻辑程序设计综述

11、夏清，李帅，郝爱民，赵沁平. 基于深度学习的数字几何处理与分析技术研究进展