命题逻辑假说扩充生成算法及其应用研究

摘要	第1-6页
ABSTRACT	第6-10页
第1章 绪论	第10-15页
·引言	第10页
·研究现状	第10-12页
·主要研究内容	第12-13页
·论文组织结构	第13-15页
第2章 信念非修正相关理论概述	第15-26页
·常识推理的相关理论	第15-19页
·非单调推理	第16页
·信念修正	第16-19页
·信念非修正方法相关理论	第19-22页
·信念非修正的发展	第19-21页
·命题逻辑假说扩充的性质与认识进程	第21-22页
·命题逻辑相关理论基础	第22-26页
·命题逻辑概述	第22-24页
·命题逻辑的归结原理	第24-26页
第3章 命题逻辑下假说的扩充及生成算法	第26-42页
·本原蕴涵	第26-27页
·假说扩充的定义	第27-31页
·命题假说扩充的生成算法	第31-36页
·归结中使用Tison方法	第31-32页
·算法流程图	第32-34页
·假说扩充的生成算法算法	第34页
·算法正确性相关证明	第34-36页
·命题假说扩充的生成算法实验结果	第36-41页
·实验环境	第36页
·实验用例	第36-37页
·实验过程及结果	第37-41页
·小结	第41-42页
第4章 命题假说扩充在知识编译中的应用	第42-48页
·知识编译概述	第42-43页
·基于假说扩充的知识编译	第43-45页
·与其他知识编译方法的关系	第45-47页
·小结	第47-48页
第5章 总结与展望	第48-50页
·论文总结	第48-49页
·工作展望	第49-50页
参考文献	第50-54页
致谢	第54页