From Doyle to AGM: A Survey and an Implementation Roadmap for Belief Change

작성자

카테고리:

← 피드로
arXiv cs.AI · Yuri Almeida, Arthur Casals · 2026-08-18 AI

[Submitted on 29 May 2026]

View PDF HTML (experimental)

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. 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.

Submission history

From: Arthur Casals [view email]
[v1] Fri, 29 May 2026 19:35:47 UTC (1,700 KB)

원문에서 계속 ↗

추출 본문 · 출처: arxiv.org · https://arxiv.org/abs/2608.14567