信念修正逻辑探析

摘要	第1-5页
Abstract	第5-7页
文献综述	第7-9页
第1章 信念逻辑的基本理论	第9-16页
·从知识到信念	第9-10页
·基本的信念逻辑系统KD45	第10-11页
·信念修正的AGM理论	第11-16页
第2章 现代逻辑的信念修正	第16-29页
·基于可信度的迭代信念修正方法	第16-19页
·迭代信念修正的概念	第16-17页
·基于可信度的迭代信念修正方法	第17-19页
·基于动态认知逻辑的信念修正理论	第19-23页
·公开宣告的动态逻辑	第20-21页
·硬信息条件下信念变化的动态逻辑	第21-22页
·软信息条件下信念变化的动态逻辑	第22-23页
·基于代数方法的多主体信念修正系统	第23-29页
第3章 几个信念修正方法之比较	第29-36页
·基于可信度的迭代信念修正方法的优势和不足	第29-31页
·基于可信度的迭代信念修正方法的优点分析	第29-30页
·基于可信度的迭代信念修正方法的不足分析	第30-31页
·基于动态认知逻辑的信念修正理论的优势和不足	第31-32页
·基于动态认知逻辑的信念修正理论的优点分析	第31-32页
·基于动态认知逻辑的信念修正理论的不足分析	第32页
·基于代数方法的多主体信念修正系统的优势和不足	第32-34页
·基于代数方法的多主体信念修正系统的优点分析	第32-33页
·基于代数方法的多主体信念修正系统的不足分析	第33-34页
·各种信念修正方法之间的关系	第34-36页
第4章 结语	第36-38页
参考文献	第38-40页
致谢	第40-41页
发表论文	第41页