基于分离的信念更新研究
| 摘要 | 第1-8页 |
| Abstract | 第8-11页 |
| 第1章 绪言 | 第11-17页 |
| ·研究现状及存在的问题 | 第11-14页 |
| ·解决思路与方法 | 第14-16页 |
| ·研究结论与意义 | 第16-17页 |
| 第2章 研究基础 | 第17-35页 |
| ·命题逻辑 | 第17-20页 |
| ·信念更新 | 第20-26页 |
| ·公式集分离与相关性公设 | 第26-28页 |
| ·知识库更新 | 第28-31页 |
| ·多Agent系统 | 第31-35页 |
| 第3章 最细分离的构造性方法及应用 | 第35-45页 |
| ·最细分离的构造性方法 | 第36-40页 |
| ·知识库更新的拓广 | 第40-43页 |
| ·相关工作与本章小结 | 第43-45页 |
| 第4章 相关性公设下的信念更新 | 第45-67页 |
| ·满足相关性公设的部分交更新算子 | 第47-50页 |
| ·相关性公设下部分交算子的表示定理 | 第50-53页 |
| ·两个特殊的信念更新算子研究 | 第53-54页 |
| ·P公理的推广及应用 | 第54-58页 |
| ·Makinson关于本质原子的公开问题 | 第58-62页 |
| ·相关工作与本章小结 | 第62-67页 |
| 第5章 基于分离的极大不可变信念更新及应用 | 第67-77页 |
| ·基于分离的极大不可变信念更新 | 第67-72页 |
| ·极大不可变信念更新在多Agent上的应用 | 第72-73页 |
| ·基于分离的可信任信念更新 | 第73-74页 |
| ·相关工作与本章小结 | 第74-77页 |
| 第6章 基于分离的退格信念更新及应用 | 第77-85页 |
| ·退格信念更新 | 第77-80页 |
| ·基于分离的退格信念更新 | 第80-81页 |
| ·退格信念更新在多Agent上的应用 | 第81-83页 |
| ·相关工作与本章小结 | 第83-85页 |
| 第7章 本文结论与进一步工作 | 第85-89页 |
| ·本文结论 | 第85-86页 |
| ·进一步工作 | 第86-89页 |
| ·最细分离的高效算法 | 第86页 |
| ·相关性公设在非单调逻辑中的对应关系 | 第86-87页 |
| ·分离思想在计算机逻辑中的应用 | 第87-89页 |
| 插图索引 | 第89-90页 |
| 表格索引 | 第90-91页 |
| 致谢 | 第91-93页 |
| 参考文献 | 第93-104页 |
| 在学期间以第一作者在核心以上刊物发表的论文目录 | 第104-105页 |
| 在学期间参加的科研项目情况 | 第105页 |
| 在学期间主持的科研项目情况 | 第105-106页 |
