从 Doyle 到 AGM：信念变更的综述与实现路线图
From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change
- NOVA Laboratory for Computer Science and Informatics (NOVA LINCS)（NOVA计算机科学与信息学实验室（NOVA LINCS））
- Universidade da Madeira（马德拉大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
该研究通过叙事综述梳理信念修正从计算起源到 AGM 框架及当代方法的演化，明确 AGM 前后的关联与转变，为计算信念变更的实现研究提供理论基础与路线图。
AI中文摘要：
本文提出一篇针对性叙事综述，为计算信念变更的实现建立历史与理论基础。以 Doyle 和 London 1980 年的基础分类法为起点，我们追溯信念修正从计算起源，历经 AGM 框架的理论转变到当代方法的演化过程。我们的分析表明，AGM 前的计算实用主义如何与 AGM 理论构建相关联，揭示这一演化过程中的连续性与转变。我们分析 AGM 后时代各分类类别的演化情况，确定为当代实现挑战提供依据的理论基础与历史先例。该基础为后续研究提供支撑，这些研究旨在将历史见解与形式保证相结合，形成稳健的计算蓝图，为系统性实现分析及面向工程的信念变更研究提供基线。
英文摘要：
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.
