A Unified View of Belief Revision and Update

DOI10.1093/logcom/4.5.797zbMath0811.03024OpenAlexW1976739409MaRDI QIDQ4316303

Alvaro del Val, Yoav Shoham

Publication date: 1994

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/4.5.797

zbMATH Keywords

belief revisionactionstimesituation calculusbelief updating

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (9)

Deriving properties of belief update from theories of action ⋮ Belief Update Within Propositional Fragments ⋮ Updating action domain descriptions ⋮ A methodology for iterated theory change ⋮ Propositional belief base update and minimal change ⋮ Images of bilinear mappings into 𝐑³ ⋮ Iterated belief change in the situation calculus ⋮ An action language for multi-agent domains ⋮ Non monotonic reasoning and belief revision: syntactic, semantic, foundational and coherence approaches

This page was built for publication: A Unified View of Belief Revision and Update