信息环境危机的源与对策.pdfVIP

||IIJ圳㈣删Ⅲ舢舢』I||I圳㈣ Y2574552 目 录 摘要……………………………………………………………………………………I Abstract………………………………………………………………………………………………………”III 文献综述…………………………………………………………………………………1 第1章信念逻辑的基本理论…………………………………………………………‘3 1．1从知识到信念…………………………………………………………………’3 1．2基本的信念逻辑系统KD45……………………………………………………4 1．3信念修正的AGM理论…………………．．………………………………………5 第2章现代逻辑的信念修正…………………………………………………………10 2．1基于可信度的迭代信念修正方法……………………………………………10 2．1．1迭代信念修正的概念…………………………………………………10 2．1．2基于可信度的迭代信念修正方法……………………………………11 2．2基于动态认知逻辑的信念修正理论…………………………………………13 2．2．1公开宣告的动态逻辑…………………………………………………14 2．2．2硬信息条件下信念变化的动态逻辑…………………………………15 2．2．3软信息条件下信念变化的动态逻辑…………………………………16 2．3基于代数方法的多主体信念修正系统………………………………………17 第3章几个信念修正方法之比较……………………………………………………23 3．1基于可信度的迭代信念修正方法的优势和不足……………………………23 3．1．1基于可信度的迭代信念修正方法的优点分析………………………23 3．1．2基于可信度的迭代信念修正方法的不足分析………………………24 3．2基于动态认知逻辑的信念修正理论的优势和不足…………………………25 3．2．1基于动态认知逻辑的信念修正理论的优点分析……………………25 3．2．2基于动态认知逻辑的信念修正理论的不足分析……………………26 3．3基于代数方法的多主体信念修正系统的优势和不足………………………26 3．3．1基于代数方法的多主体信念修正系统的优点分析…………………26 3．3．2基于代数方法的多主体信念修正系统的不足分析…………………27 3．4各种信念修正方法之间的关系………………………………………………28 第4章结语……………………………………………………………………………30 参考文献………………………………………………………………………………’32 致谢………………………………·……………………………………………………………………………‘34 发表论文………………………………………………………………………………。35 西南大学硕士学位论文 摘要 信念修正逻辑探析 逻辑学专业硕士研究生 王忠元 指导老师 唐晓嘉教授 摘要 信念修正是当前研究的一个热点问题，如何构建信念修正系统形式化描述主 体信念的动态变化以及利用更好的技术处理信念修正问题，具有重要的研究意义 和价值。但就目前的情况来看，信念修正在取得一定研究成果的同时还存在许多 亟待解决的问题。 本文介绍了三种不同的研究信念修正的方法，通过分析这几种方法各自的优 势和不足，尝试找出各种信念修正理论的共通点和共同的不足之处抑或是面临的 问题。同时也希望通过对这几种方法的介绍及比较分析，能管中窥豹似地对现代 逻辑中信念修正的研究方法或技术作一个大概的展示。 第一部分：通过阐述认知逻辑中知识与信念的不同逻辑特征，强调应将信念