基于定量动态认知逻辑的信念修正研究
原标题：Study on Quantitative Dynamic Epistemic Logic for Belief Revision
速览
该研究基于AGM理论提出信念修正公理，并引入具有量化信念强度表达能力的模态逻辑P。在此基础上构建动态认知逻辑P*，用于建模信念修正过程。研究通过定理证明形式化了AGM公理，并指出原有函数未能准确反映哲学直觉，最终提出新函数*^0及其实现。
AI 深度解读
AI 正在阅读原文并生成深度解读…（首次约 20–40 秒，之后秒开）
查看原文 →arxiv.org