| 摘要 | 第4-5页 |
| ABSTRACT | 第5页 |
| 第1章 绪论 | 第6-9页 |
| 1.1 论文研究背景与意义 | 第6页 |
| 1.2 国内外研究现状 | 第6-7页 |
| 1.3 论文研究主要内容 | 第7页 |
| 1.4 论文组织结构 | 第7-9页 |
| 第2章 基础知识 | 第9-29页 |
| 2.1 归纳逻辑程序设计 | 第9-27页 |
| 2.1.1 归纳逻辑程序设计的相关概念 | 第9-23页 |
| 2.1.2 基础的ILP技术 | 第23-27页 |
| 2.2 HORN程序 | 第27-28页 |
| 2.3 本章小结 | 第28-29页 |
| 第3章 基于Datalog程序的输入输出的归纳学习 | 第29-58页 |
| 3.1 动机 | 第29-30页 |
| 3.2 学习任务 | 第30-33页 |
| 3.3 算法设计 | 第33-42页 |
| 3.4 系统设计与实现 | 第42-52页 |
| 3.4.1 词法分析和语法分析 | 第42-45页 |
| 3.4.2 算法实现 | 第45-52页 |
| 3.5 实验结果 | 第52-55页 |
| 3.5.1 学习有向图可达性 | 第52-53页 |
| 3.5.2 学习家庭关系 | 第53-55页 |
| 3.5.3 学习动物分类 | 第55页 |
| 3.6 本章小结 | 第55-58页 |
| 第4章 总结与展望 | 第58-60页 |
| 4.1 总结 | 第58页 |
| 4.2 展望 | 第58-60页 |
| 致谢 | 第60-61页 |
| 参考文献 | 第61-65页 |
| 附录 | 第65-66页 |
| 图版 | 第66-67页 |
| 表版 | 第67-68页 |