From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
从 Doyle 到 AGM：信念变更的综述与实现路线图
Abstract: 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.
摘要： 本文提供了一项针对性的叙述性综述，旨在为计算信念变更的实现奠定历史和理论基础。以 Doyle 和 London 在 1980 年提出的基础分类法为起点，我们追溯了信念修正从计算起源，经过 AGM 框架的理论转型，直至当代方法的发展演变。
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.
我们的分析展示了 AGM 之前的计算实用主义与 AGM 理论结构之间的联系，揭示了这一演变过程中的连续性与变革。我们分析了每个分类范畴在后 AGM 时代的演变，并确定了为当代实现挑战提供参考的理论基础和历史先例。
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.
这一基础为后续研究提供了支持，使其能够构建出结合历史见解与形式化保证的稳健计算蓝图，从而为系统化的实现分析和以工程为导向的信念变更研究提供了基准。
Paper Details:
- Authors: Yuri Almeida, Arthur Casals
- arXiv ID: 2608.14567
- Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
- Submission Date: 29 May 2026
论文详情：
- 作者： Yuri Almeida, Arthur Casals
- arXiv ID： 2608.14567
- 学科： 人工智能 (cs.AI)；计算机科学逻辑 (cs.LO)
- 提交日期： 2026 年 5 月 29 日