归纳逻辑程序设计初探

摘要	第1-4页
ABSTRACT	第4-7页
前言	第7页
1 归纳逻辑程序设计历史回顾	第7-10页
·人工智能	第7-8页
·机器学习	第8-9页
·归纳逻辑程序设计历史回顾	第9-10页
2 归纳逻辑程序设计的逻辑基础	第10-19页
·一阶逻辑的基本概念	第10-12页
·合一消解推理系统	第12-17页
·子句和子句集	第13-14页
·赫尔布兰德解释	第14-15页
·消解原理	第15-17页
·霍恩子句推理系统	第17-19页
·霍恩子句	第18页
·逻辑程序设计	第18-19页
3 归纳逻辑程序设计基本内容	第19-28页
·归纳逻辑程序设计一般问题背景	第19-20页
·搜索理论的两种基本操作：泛化和特化	第20-21页
·搜索理论的两种方法：自上而下和自下而上搜索	第21-26页
·自上而下搜索	第22-23页
·自下而上搜索	第23-26页
·非单调问题背景和回溯推理	第26-27页
·非单调问题背景	第26-27页
·回溯推理（Abduction）	第27页
·归纳逻辑程序设计的应用	第27-28页
4 对归纳逻辑程序设计的评价	第28-34页
·归纳逻辑程序设计与归纳逻辑	第28-29页
·归纳逻辑程序设计与哲学	第29-33页
·逻辑实证主义对归纳逻辑程序设计的影响	第30-31页
·波普尔证伪主义对归纳逻辑程序设计的影响	第31-33页
·归纳逻辑程序设计的作用	第33-34页
5 结束语	第34-35页
参考文献	第35-37页
致谢	第37页