| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第一章 绪论 | 第10-18页 |
| ·自动推理的发展简史 | 第10-14页 |
| ·非经典逻辑研究概况 | 第14-15页 |
| ·论文的选题和主要工作 | 第15-18页 |
| 第二章 一阶子句搜索方法 | 第18-48页 |
| ·子句搜索方法 | 第18-24页 |
| ·一阶子句搜索方法 | 第24-46页 |
| ·本章小结 | 第46-48页 |
| 第三章 格值命题逻辑LP(X)的自动证明 | 第48-68页 |
| ·基础知识 | 第48-55页 |
| ·LP(X)的tableau方法 | 第55-61页 |
| ·LP(X)的直积分解 | 第61-66页 |
| ·本章小结 | 第66-68页 |
| 第四章 相干命题逻辑R的可读证明 | 第68-102页 |
| ·试探法自动证明 | 第68-80页 |
| ·自然推理法自动证明 | 第80-97页 |
| ·试探法和自然推理法的混合求证 | 第97-100页 |
| ·本章小结 | 第100-102页 |
| 第五章 总结与展望 | 第102-104页 |
| 参考文献 | 第104-116页 |
| 致谢 | 第116-117页 |
| 攻读博士学位期间发表论文和科研情况 | 第117页 |