| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第1章 绪论 | 第11-22页 |
| ·形成本文的学术背景 | 第12-18页 |
| ·关于非经典逻辑的研究 | 第12-14页 |
| ·关于不确定性推理的研究 | 第14-18页 |
| ·本文的主要内容 | 第18-19页 |
| ·预备知识 | 第19-22页 |
| 第2章 格值命题逻辑系统LP(X)中的不确定性推理 | 第22-31页 |
| ·格值命题逻辑系统LP(X) | 第22-24页 |
| ·LP(X)中的FMP,FMT规则和还原性定理 | 第24-29页 |
| ·LP(X)中不确定性推理规则的转化 | 第29-31页 |
| 第3章 格值一阶逻辑系统LF(X)中的不确定性推理 | 第31-60页 |
| ·格值一阶逻辑系统LF(X) | 第31-33页 |
| ·LF(X)中的广义量词 | 第33-35页 |
| ·带广义量词运算的推理规则 | 第35-37页 |
| ·带广义量词的不确定性推理 | 第37-40页 |
| ·带广义量词FMP,FMT推理规则和还原性定理 | 第40-43页 |
| ·LF(X)中语法证明和可靠性定理 | 第43-49页 |
| ·LF(X)中的完备性定理 | 第49-53页 |
| ·格值一阶逻辑系统LF(X)中的范式 | 第53-56页 |
| ·格值一阶逻辑系统LF(X)中的HERBRAND定理 | 第56-60页 |
| 第4章 格值命题逻辑系统LVPL中的不确定性推理 | 第60-69页 |
| ·格值命题逻辑系统LVPL | 第60-61页 |
| ·LVPL中的不确定性推理规则及模态推理 | 第61-65页 |
| ·LVPL中的FMP和FMT规则及还原性定理 | 第65-66页 |
| ·推理结果的比较 | 第66-69页 |
| 第5章 格值一阶逻辑系统L_(VFL)中的不确定性推理 | 第69-84页 |
| ·格值一阶逻辑系统LVFL | 第69-72页 |
| ·LVFL中的广义量词及带广义量词的不确定性推理 | 第72-75页 |
| ·广义量词的包含关系及推理 | 第75-78页 |
| ·LVFL中的FMP,FMT推理规则及还原性定理 | 第78-80页 |
| ·LVFL中带广义量词的SK(O|¨)LEM广义范式 | 第80-84页 |
| 第6章 总结与展望 | 第84-86页 |
| ·总结 | 第84-85页 |
| ·展望 | 第85-86页 |
| 致谢 | 第86-99页 |
| 攻读博士期间的科研论文情况 | 第99页 |
