基于可废止逻辑的动态预设推理模型
| 致谢 | 第4-6页 |
| 摘要 | 第6-7页 |
| Abstract | 第7页 |
| 1 预设研究概况 | 第10-13页 |
| 1.1 本文研究思路 | 第10页 |
| 1.2 预设概念界定 | 第10-11页 |
| 1.3 预设研究回顾 | 第11-13页 |
| 2 预设可取消性 | 第13-23页 |
| 2.1 预设产生及取消背景 | 第14-16页 |
| 2.2 预设可取消现象分类 | 第16-20页 |
| 2.2.1 不可变更类预设 | 第16-18页 |
| 2.2.2 动态变更类预设 | 第18-20页 |
| 2.3 动态变更类预设 | 第20-23页 |
| 3 可废止逻辑 | 第23-29页 |
| 3.1 可废止逻辑基本架构 | 第24-25页 |
| 3.2 可废止逻辑的证明形式 | 第25-27页 |
| 3.3 证明理论的分析 | 第27-29页 |
| 4 预设动态变更理论P | 第29-34页 |
| 4.1 理论建立 | 第29-30页 |
| 4.2 工作原理 | 第30-34页 |
| 4.2.1 预设的相关限定 | 第31页 |
| 4.2.2 预设的变更过程 | 第31-34页 |
| 5 实例分析 | 第34-40页 |
| 5.1 主动变更类预设应用实例 | 第34-37页 |
| 5.1.1 理论P_1 | 第34-36页 |
| 5.1.2 证明 | 第36-37页 |
| 5.2 被动变更类预设应用实例 | 第37-40页 |
| 5.2.1 理论P_2 | 第37-39页 |
| 5.2.2 证明 | 第39-40页 |
| 6 结论 | 第40-42页 |
| 6.1 主要创新之处 | 第40页 |
| 6.2 问题与局限 | 第40页 |
| 6.3 研究小结 | 第40-42页 |
| 参考文献 | 第42-45页 |
| 作者简历 | 第45页 |
