信念非修正的极小模型方法
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 第1章 绪论 | 第11-17页 |
| ·选题背景与选题意义 | 第11-12页 |
| ·国内外研究现状 | 第12-14页 |
| ·研究内容 | 第14-15页 |
| ·研究框架及论文结构 | 第15-17页 |
| 第2章 非单调推理与信念修正 | 第17-26页 |
| ·非单调推理 | 第17-19页 |
| ·不建立新蕴涵 | 第18页 |
| ·建立新蕴涵 | 第18-19页 |
| ·建立新蕴涵：择优逻辑 | 第19-21页 |
| ·信念修正 | 第21-26页 |
| ·信念修正方法 | 第21-24页 |
| ·信念非修正方法 | 第24-26页 |
| 第3章 信念非修正的极小模型方法 | 第26-45页 |
| ·集合的极小模型 | 第26-28页 |
| ·集合的极小模型 | 第26页 |
| ·集合的极小蕴涵 | 第26-27页 |
| ·集合的极小模型的性质 | 第27-28页 |
| ·信念集的极小模型 | 第28-33页 |
| ·信念集的极小模型 | 第28-30页 |
| ·信念集的极小蕴涵 | 第30-31页 |
| ·信念集的极小模型的性质 | 第31-33页 |
| ·信念非修正的极小模型方法 | 第33-37页 |
| ·信念非修正的极小模型方法 | 第34页 |
| ·转化：子句集型信念集 | 第34-35页 |
| ·求解：信念集的极小模型集 | 第35-36页 |
| ·推理：信念集的结论集 | 第36页 |
| ·扩充：信念集的扩充集 | 第36-37页 |
| ·信念集的扩充集的性质 | 第37-40页 |
| ·一致性 | 第37-38页 |
| ·演绎封闭性 | 第38-39页 |
| ·累积性 | 第39-40页 |
| ·应用实例 | 第40-45页 |
| 第4章 信念集的极小模型集的求解算法 | 第45-54页 |
| ·算法设计 | 第45-53页 |
| ·应用实例 | 第53-54页 |
| 第5章 基于信念集的极小模型的信念非修正推理系统 | 第54-67页 |
| ·系统设计 | 第54-58页 |
| ·总体设计 | 第54-56页 |
| ·模块设计 | 第56-58页 |
| ·系统实现 | 第58-63页 |
| ·开发工具 | 第58页 |
| ·信念集构建模块 | 第58-61页 |
| ·信念集的极小模型集求解模块 | 第61-62页 |
| ·推理模块 | 第62-63页 |
| ·系统测试 | 第63-67页 |
| ·测试数据与测试方法 | 第63页 |
| ·测试结果 | 第63-65页 |
| ·对比分析 | 第65-67页 |
| 第6章 结论 | 第67-69页 |
| ·研究结论 | 第67-68页 |
| ·推进方向 | 第68-69页 |
| 参考文献 | 第69-73页 |
| 攻读学位期间公开发表论文 | 第73-75页 |
| 致谢 | 第75页 |
