The Logic of Conditional Doxastic Actions: A theory of dynamic multi-agent belief revision
نویسندگان
چکیده
We present a logic of conditional doxastic actions, obtained by incorporating ideas from belief revision theory into the usual dynamic logic of epistemic actions. We do this by extending to actions the setting of epistemic plausibility models, developed in Baltag and Smets (2006) for representing (static) conditional beliefs. We introduce a natural extension of the notion of update product from Baltag and Moss (2004) to plausibility models.
منابع مشابه
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (CDM’s, for short). We show this setting to be equivalent to an epistemic version of the classical AGM Belief Revision theory. We present a logic of conditional beliefs that is complete w.r.t. CDM’s. Moving then to beli...
متن کاملDynamic Belief Revision over Multi-Agent Plausibility Models
In this paper, we develop a notion of doxastic actions, general enough to cover all examples of communication actions and most other belief-changing actions encountered in the literature, but also flexible enough to deal with the issue of (static and dynamic) revision of beliefs. This can be seen as a natural extension of the work in [3, 4] on “epistemic actions”, incorporating ideas from the s...
متن کاملThe Algebra of Multi-Agent Dynamic Belief Revision
We refine our algebraic axiomatization in [8, 9] of epistemic actions and epistemic update (notions defined in [5, 6] using a relational, Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting. Our approach has a number of novel features, when compared with traditional belief revision systems such as AGM [2]. Firstly: while traditional belief re...
متن کاملRevisable Justified Belief: Preliminary Report
The theory CDL of Conditional Doxastic Logic is the single-agent version of Board’s multi-agent theory BRSIC of conditional belief. CDL may be viewed as a version of AGM belief revision theory in which Boolean combinations of revisions are expressible in the language. We introduce a theory JCDL of Justified Conditional Doxastic Logic that replaces conditional belief formulas Bφ by expressions t...
متن کاملFrom Onions to Broccoli: Generalizing Lewis’s counterfactual logic
We present a generalization of Segerberg’s onion semantics for belief revision, in which the linearity of the spheres need not occur. The resulting logic is called broccoli logic. We provide a minimal relational logic, introducing a new neighborhood semantics operator. We then show that broccoli logic is a well-known conditional logic, the Burgess-Veltman minimal conditional logic. Belief revis...
متن کامل