声明
摘要
文献综述
第1章 信念逻辑的基本理论
1.1 从知识到信念
1.2 基本的信念逻辑系统KD45
1.3 信念修正的AGM理论
第2章 现代逻辑的信念修正
2.1 基于可信度的迭代信念修正方法
2.1.1 迭代信念修正的概念
2.1.2 基于可信度的迭代信念修正方法
2.2 基于动态认知逻辑的信念修正理论
2.2.1 公开宣告的动态逻辑
2.2.2 硬信息条件下信念变化的动态逻辑
2.2.3 软信息条件下信念变化的动态逻辑
2.3 基于代数方法的多主体信念修正系统
第3章 几个信念修正方法之比较
3.1 基于可信度的迭代信念修正方法的优势和不足
3.1.1 基于可信度的迭代信念修正方法的优点分析
3.1.2 基于可信度的迭代信念修正方法的不足分析
3.2 基于动态认知逻辑的信念修正理论的优势和不足
3.2.1 基于动态认知逻辑的信念修正理论的优点分析
3.2.2 基于动态认知逻辑的信念修正理论的不足分析
3.3 基于代数方法的多主体信念修正系统的优势和不足
3.3.1 基于代数方法的多主体信念修正系统的优点分析
3.3.2 基于代数方法的多主体信念修正系统的不足分析
3.4 各种信念修正方法之间的关系
第4章 结语
参考文献
致谢
发表论文
西南大学;