近似推理—多项式代数动态逻辑研究
| 致谢 | 第1-7页 |
| 摘要 | 第7-9页 |
| ABSTRACT | 第9-13页 |
| 主要符号对照表 | 第13-17页 |
| 1 绪论 | 第17-35页 |
| ·研究背景及意义 | 第17-18页 |
| ·研究现状与存在的问题 | 第18-31页 |
| ·研究现状概述 | 第21-30页 |
| ·存在的问题 | 第30-31页 |
| ·论文的研究内容 | 第31-32页 |
| ·论文的组织结构 | 第32-35页 |
| 2 多项式代数动态逻辑 | 第35-49页 |
| ·多项式代数程序 | 第36-39页 |
| ·逻辑公式 | 第39-41页 |
| ·应用举例 | 第41-44页 |
| ·本章小结与相关工作 | 第44-49页 |
| 3 多项式代数变迁系统 | 第49-69页 |
| ·标记变迁系统 | 第49-55页 |
| ·多项式代数变迁系统 | 第55-66页 |
| ·多项式及其零点 | 第55-57页 |
| ·系统定义 | 第57-61页 |
| ·行为刻画 | 第61-66页 |
| ·本章小结与相关工作 | 第66-69页 |
| 4 构造多项式代数动态逻辑的形式化语义 | 第69-89页 |
| ·数学模型 | 第69-74页 |
| ·多项式代数程序的变迁语义 | 第74-80页 |
| ·逻辑公式的满足关系 | 第80-84页 |
| ·本章小结与相关工作 | 第84-89页 |
| 5 多项式代数动态逻辑的证明系统 | 第89-119页 |
| ·序贯式演算 | 第89-90页 |
| ·明系统的构成 | 第90-104页 |
| ·公理规则 | 第91-93页 |
| ·推理规则 | 第93-104页 |
| ·符号计算与逻辑推理的融合 | 第104-109页 |
| ·可靠性与部分完备性 | 第109-116页 |
| ·本章小结与相关工作 | 第116-119页 |
| 6 多项式代数动态逻辑的近似推理 | 第119-139页 |
| ·度量变迁系统 | 第119-125页 |
| ·逻辑公式的度量语义 | 第125-131页 |
| ·近似推理 | 第131-136页 |
| ·近似推理规则 | 第132-134页 |
| ·可靠性 | 第134-136页 |
| ·本章小结与相关工作 | 第136-139页 |
| 7 实例分析 | 第139-153页 |
| ·列车运行控制 | 第139-145页 |
| ·问题描述 | 第139-140页 |
| ·系统建模与性质刻画 | 第140-142页 |
| ·推理过程及结果分析 | 第142-145页 |
| ·化学反应网络 | 第145-153页 |
| ·问题描述 | 第147页 |
| ·系统建模与性质刻画 | 第147-149页 |
| ·推理过程及结果分析 | 第149-153页 |
| 8 总结与展望 | 第153-157页 |
| ·研究工作总结 | 第153-155页 |
| ·研究工作展望 | 第155-157页 |
| 参考文献 | 第157-171页 |
| 附录A | 第171-177页 |
| A.1 列车运行控制1 | 第171-172页 |
| A.2 列车运行控制2 | 第172-173页 |
| A.3 化学反应网络1 | 第173-174页 |
| A.4 化学反应网络2 | 第174-177页 |
| 作者简历及攻读博士学位期间取得的研究成果 | 第177-181页 |
| 学位论文数据集 | 第181页 |
