命题信念集的非修正处理方法研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-16页 |
| ·引言 | 第10页 |
| ·国内外研究现状 | 第10-14页 |
| ·主要研究内容 | 第14-15页 |
| ·论文组织结构 | 第15-16页 |
| 第2章 信念修正理论概述 | 第16-28页 |
| ·常识推理的逻辑基础概述 | 第16-18页 |
| ·非单调逻辑 | 第16-17页 |
| ·超协调逻辑 | 第17页 |
| ·容错逻辑 | 第17页 |
| ·开放逻辑 | 第17-18页 |
| ·非单调推理与信念修正理论 | 第18-23页 |
| ·非单调推理 | 第18-20页 |
| ·信念修正 | 第20-23页 |
| ·信念非修正理论 | 第23-28页 |
| ·信念非修正理论的引入 | 第23-25页 |
| ·信念非修正的发展 | 第25-28页 |
| 第3章 与或句型信念集的非修正处理方法研究 | 第28-44页 |
| ·命题逻辑的理论基础 | 第28-32页 |
| ·命题逻辑概述 | 第29-30页 |
| ·命题逻辑下的归结原理 | 第30-32页 |
| ·广义归结原理概述 | 第32-34页 |
| ·广义归结理论基础 | 第33-34页 |
| ·广义归结与一般归结原理比较 | 第34页 |
| ·假说扩充的定义 | 第34-38页 |
| ·假说扩充的基本性质 | 第38-42页 |
| ·一致性 | 第38-40页 |
| ·封闭性 | 第40页 |
| ·累积性 | 第40-42页 |
| ·外延性 | 第42页 |
| ·小结 | 第42-44页 |
| 第4章 基于非修正方法的与或句型信念集的认识进程 | 第44-49页 |
| ·认识进程理论 | 第44-46页 |
| ·与或句型假说的认识进程 | 第46-48页 |
| ·小结 | 第48-49页 |
| 第5章 与或句型信念集的非修正处理算法研究 | 第49-60页 |
| ·基于子句型信念集的非修正处理算法 | 第49-53页 |
| ·基于与或句型信念集的非修正处理算法 | 第53-59页 |
| ·小结 | 第59-60页 |
| 第6章 总结与展望 | 第60-63页 |
| ·论文总结 | 第60-61页 |
| ·工作展望 | 第61-63页 |
| 参考文献 | 第63-66页 |
| 致谢 | 第66页 |
