动态信息的信念修正逻辑研究

**章 概述
第二章 保真性推理和观察的逻辑
**节 模态保真性推理
第二节 隐性信息和显性信息
第三节 保真性推理
第四节 观察的逻辑
第三章 觉知逻辑
**节 觉知逻辑
第二节 显性信息
第三节 觉知模型运算
第四节 动态行为
第五节 动态逻辑的完全性
第六节 多主体的觉知逻辑
第四章 觉知、隐性知识和显性知识
**节 觉知、隐性信息和显性信息
第二节 静态信息模型
第三节 动态信息模型
第五章 传统的信念逻辑
**节 经典的信念逻辑
第二节 信念逻辑系统
第三节 动态信念修正逻辑系统
第四节 信念修正逻辑系统的扩充
第六章 动态的信念变化逻辑
**节 理性主体和信念变化
第二节 智能主体间的互动
第三节 信念逻辑
第四节 理性主体模型
第五节 互动的认识论
第六节 信念变化逻辑
第七节 语言的表达力
第七章 刻画信念变化的逻辑
**节 信念修正的AGM理论
第二节 格鲁夫球
第三节 动态信念逻辑
第四节 公开宣告逻辑
第五节 弱动态认知逻辑
第六节 条件信念逻辑
第七节 证据逻辑
第八章 多主体的信念变化逻辑
**节 基础理论
第二节 信念变化的动态逻辑
第三节 信念时态模型
第四节 优先更新的框架性
第五节 表示定理
第六节 前序的扩充
第七节 扩充和定理
第九章 总或然模型中的信念收缩
**节 信念收缩
第二节 严格取消
第三节 保守收缩
第四节 适度收缩
第十章 辩护模型
**节 辩护模型
第二节 辩护模型类
第三节 动态的辩护模型
第四节 语言和公理系统
第五节 辩护信念
第十一章 动态信念逻辑
**节 动态信念逻辑修正
第二节 动态信念逻辑和条件信念逻辑
第三节 全动态信念逻辑的扩张和收缩
第十二章 会话语境的信念修正逻辑
**节 分支一时问信念修正逻辑
第二节 会话逻辑
第三节 博南诺的信念逻辑
第四节 可靠性和完全性
第十三章 动态的隐性信念和显性信念
**节 刻画信念的方法
第二节 非全能信念
第三节 信念修正
第四节 信念推理
第十四章 合并模型的语言和逻辑
**节 认知信念语言
第二节 动态信念语言
第三节 认知时态信念语言
第四节 信念修正的公理系统
第十五章 知识和信念的哲学反思
**节 确证的真信念
第二节 可废止知识的博弈语义
第十六章 回顾与展望
**节 内容回顾
第二节 工作展望
参考文献