命题信念集非修正方法的优化策略研究

摘要	第1-6页
ABSTRACT	第6-10页
第1章 绪论	第10-17页
·引言	第10页
·国内外研究现状	第10-15页
·主要研究内容	第15-16页
·论文组织结构	第16-17页
第2章 与或句型信念集的非修正方法	第17-28页
·命题逻辑与广义归结原理	第17-23页
·命题逻辑基础概念	第17-18页
·广义归结原理	第18-23页
·信念非修正方法	第23-26页
·信念修正性质背景	第23-24页
·信念非修正理论	第24-26页
·与或型信念集的非修正方法	第26-28页
·假说扩充定义	第26页
·假说扩充性质	第26-28页
第3章 基于广义删除策略的与或型信念集非修正方法	第28-41页
·广义删除策略	第28-29页
·基于广义删除策略的与或型信念集非修正方法	第29-32页
·算法设计	第32-37页
·实验结果	第37-40页
·小结	第40-41页
第4章 基于广义锁归结的与或型信念集非修正方法	第41-51页
·广义锁归结	第41-42页
·基于广义锁归结的与或型信念集非修正方法	第42-44页
·算法设计	第44-49页
·小结	第49-51页
第5章 总结与展望	第51-53页
·论文总结	第51-52页
·工作展望	第52-53页
参考文献	第53-56页
致谢	第56页