摘要 | 第1-5页 |
Abstract | 第5-6页 |
文献综述 | 第6-7页 |
第一章 引言 | 第7-8页 |
·动态证词逻辑的目标及意义 | 第7页 |
·论文的整体框架和主要内容 | 第7-8页 |
第二章 直观背景 | 第8-12页 |
·从决策聚合到信息瀑布 | 第8-9页 |
·在作"证词"时,"信任"和"权威"之间的关系 | 第9-10页 |
·证词与公开宣告的区别 | 第10页 |
·对"可靠度"的分类 | 第10-12页 |
第三章 情景信念逻辑 | 第12-15页 |
·语法 | 第12页 |
·语义 | 第12-13页 |
·在合理模型中的信念可靠 | 第13-15页 |
第四章 动态信念修正 | 第15-17页 |
·语法 | 第15页 |
·语义 | 第15-16页 |
·信念的"悬挂" | 第16-17页 |
第五章 动态证词逻辑 | 第17-30页 |
·语法 | 第17页 |
·语义 | 第17-20页 |
·用记录公式(REC)与权威关系((?))定义的信任(TRUST) | 第20-26页 |
·动态证词逻辑的有效式 | 第26-30页 |
第六章 运用:信息瀑布 | 第30-34页 |
第七章 总结 | 第34-35页 |
参考文献 | 第35-36页 |
致谢 | 第36-37页 |
发表论文及参加课题一览表 | 第37页 |