多主体自认知逻辑系统及其应用
| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| 文献综述 | 第6-8页 |
| 引言 | 第8-10页 |
| 研究的目的和意义 | 第8页 |
| 研究的范围及方法 | 第8-10页 |
| 第1章 自认知逻辑概述 | 第10-20页 |
| ·自认知逻辑系统(AEL) | 第10-13页 |
| ·基本思想 | 第10-11页 |
| ·自认知逻辑的语言、基本概念及证明 | 第11-13页 |
| ·唯一知道逻辑系统ONL概述 | 第13-17页 |
| ·ONL的基本思想 | 第13-15页 |
| ·ONL的语形 | 第15-16页 |
| ·ONL的语义 | 第16-17页 |
| ·对唯一知道逻辑系统ONL的修正 | 第17-20页 |
| 第2章 多主体自认知逻辑系统 | 第20-35页 |
| ·用K45n来刻画多主体自认知逻辑系统 | 第20-32页 |
| ·K45n基本思想 | 第20-26页 |
| ·i—稳定集和i—稳定集的扩充 | 第26-29页 |
| ·证明理论 | 第29-32页 |
| ·用可满足性来刻画多主体自认知逻辑系统 | 第32-35页 |
| 第3章 多主体自认知逻辑系统的应用 | 第35-40页 |
| ·多主体自认知逻辑在非单调推理中的应用 | 第35-37页 |
| ·非单调推理的理论基础 | 第35-36页 |
| ·多主体自认知逻辑在非单调推理中的应用 | 第36-37页 |
| ·在数据库系统中的应用 | 第37-40页 |
| ·同级到同级的数据组合系统 | 第37页 |
| ·用K45n对P2P系统进行形式化 | 第37-40页 |
| 第4章 存在的问题和展望 | 第40-43页 |
| ·存在的问题 | 第40-41页 |
| ·展望 | 第41-43页 |
| 参考文献 | 第43-46页 |
| 致谢 | 第46页 |
