Dynamic logic for belief revision
Web2008. TLDR. This paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision and shows that the update part of this logic is more expressive than either that of LCC or that of doxastic/epistemic PDL with a belief change modality. 43. PDF. WebThe link between belief revision and modal logic, that is, explicit belief modalities and belief change modalities in the logical language, was made in a strand of research …
Dynamic logic for belief revision
Did you know?
WebThis paper shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent belief revision. For that we revise and extend the logic of communication … WebOne of the main challenges in the formal modeling of common-sense reasoning is the ability to cope with the dynamic nature of the world. Among the approaches put forward to address this problem are belief revision and update. Given a knowledge base T, ...
Webisting neighborhood semantics for modal logic. Our main results are relative completeness theorems for the resulting dynamic logic of evidence. Keywords : Dynamic Logics of Belief Revision, Neighborhood Models for Modal Logic. 1. Introduction and Motivation A rational belief must be grounded in the evidence available to an agent. Webof belief revision, based on compositional reduction axioms. Next, we show how various ab-stract postulates for belief revision can be analyzed by standard modal frame …
WebDYNAMIC HYPERINTENSIONAL BELIEF REVISION - Volume 14 Issue 3. We propose a dynamic hyperintensional logic of belief revision for non-omniscient agents, reducing the logical omniscience phenomena affecting standard doxastic/epistemic logic as well as AGM belief revision theory. Webfor LCC. The treatment of conditional belief derives from [11]. Our work can be seen as a proposal for integrating belief revision by means of relation sub-stitution, as proposed in [7] with belief and knowledge update in the style of [3]. 2 PDL as a Belief Revision Logic A preference model M for set of agents Ag and set of basic propositions Prop
WebJan 1, 2007 · While belief change has been extensively studied in the area of belief revision [1,15,20,46,42,13] and dynamic epistemic logic (DEL) [47, 10,51,4], desire …
WebJan 1, 2014 · We present a logical setting that incorporates a belief-revision mecha-nism within Dynamic-Epistemic logic. As the "static" basis for belief revision, we use epistemic plausibility models ... how did costa rica gain its independenceWebAbstract Dynamic epistemic logic, broadly conceived, is the study of rational so-cial interaction in context, the study, that is, of how agents update their knowledge ... can be viewed (or: reinterpreted) as a logic of belief revision, in [28], and as a multi-agent strategy logic, in [27]. However, this cannot be the whole story. This ... how did cory monteith die in real lifeWebApr 10, 2008 · For the implementation of belief revision, however, one has to consider that any realistic agent is a finite being and that calculations take time. In this article, we introduce a new operation for revising beliefs which we call reinforcement belief revision. The computational model for this operation allows us to assess it in terms of time and ... how many seasons of bloodWebDec 31, 2006 · PDF - We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The … how did cortes communicate with the localsWebKEYWORDS: dynamic epistemic logic, belief revision, conditional belief, compositionality 1. Information Update and Belief Revision Belief revisiontheoryinAGMstyle ([GAR 87], … how did cortes affect the aztecsWebMar 19, 2010 · The success of the AGM paradigm The particular contribution of the paper is detailed completeness proofs for three dynamic doxastic logics of iterated belief revision. The problem of extending the AGM paradigm to include iterated change has been discussed for years, but systematic discussions have appeared only recently (see Segerberg, 2007 … how did cortez take over aztecsWebJun 24, 2016 · Dynamic belief change: the objects of agent belief include not only external truths but also the beliefs themselves, and part or all of these can change. In a motto, … how many seasons of bleach