AINeutralarXiv – CS AI · 8h ago3/10
🧠
Study on Quantitative Dynamic Epistemic Logic for Belief Revision
This academic paper presents a formal framework for belief revision using quantitative dynamic epistemic logic (DEL), extending AGM theory to capture degrees of conviction rather than binary belief states. The research formalizes belief revision processes within a modal logic system and proposes a new revision function that better aligns with philosophical intuitions behind AGM postulates.