梳理信念更新的理论演进，连接早期计算实践与现代形式化框架。
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
- 从Doyle-London分类出发，追踪信念更新的理论发展脉络。
- 揭示前AGM时期的计算务实与AGM理论构造间的连续性与转变。
- 为工程化实现提供融合历史洞见与形式保证的路线图，适合形式推理研究者。
本文通过聚焦叙事综述，建立计算信念更新实现的历史与理论基础。以Doyle与London在1980年提出的奠基性分类为起点，我们追溯了信念修正从计算起源到AGM框架理论转型，再到当代方法的发展历程。分析表明，前AGM时期的计算务实性与AGM的理论构造之间存在关联，揭示了这一演变过程中的延续与变革。我们进一步考察了各分类在后AGM时代的发展，识别出塑造当代实现挑战的理论基础与历史先例。该基础为后续研究提供了稳健的计算蓝图，整合历史洞见与形式保障，成为系统化实现分析与面向工程的信念更新研究的基准。
原文摘要 · Abstract (English)
This paper presents a targeted narrative review establishing the historical and theoretical foundations for computational belief change implementation. Seeded by Doyle and London's foundational 1980 taxonomy, we trace the evolution of belief revision from computational origins through the theoretical transformation of the AGM framework to contemporary approaches. Our analysis demonstrates how pre-AGM computational pragmatism relates to AGM theoretical constructs, revealing both continuities and transformations across this evolution. We analyze how each taxonomical category evolved in the post-AGM era, identifying the theoretical foundations and historical precedents that inform contemporary implementation challenges. This foundation enables subsequent research into robust computational blueprints that synthesize historical insights with formal guarantees, providing the baseline for systematic implementation analysis and engineering-focused belief change research.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。