Horn子句型信念的静态非修正处理方法研究

摘要	第1-6页
ABSTRACT	第6-8页
第1章 绪论	第8-12页
·引言	第8页
·国内外研究现状	第8-9页
·主要研究工作	第9-10页
·论文组织结构	第10-12页
第2章 信念静态非修正方法概述	第12-21页
·常识推理与非单调逻辑	第12-13页
·信念修正理论及其发展	第13-18页
·信念静态非修正理论及其发展	第18-21页
第3章 Horn子句型信念的一种静态非修正方法	第21-34页
·Horn子句型信念理论基础	第21-28页
·一阶逻辑与Horn子句	第21-24页
·归结原理与单元归结	第24-28页
·Horn子句型信念的一种静态非修正方法	第28-32页
·Horn子句型假说及其扩充的定义	第29页
·Horn子句型假说扩充的性质	第29-32页
·信念修正方法与信念静态非修正方法比较	第32-33页
·小结	第33-34页
第4章 Horn子句型信念的认识进程	第34-40页
·认识进程理论	第34-35页
·应用静态非修正方法的Horn子句型信念认识进程	第35-37页
·静态非修正方法与信念修正方法认识进程的比较	第37-39页
·小结	第39-40页
第5章 总结与展望	第40-42页
·论文总结	第40-41页
·工作展望	第41-42页
参考文献	第42-45页
致谢	第45-46页