Do you want BuboFlash to help you learning these things? Or do you want to add or correct something? Click here to log in or create user.



#abstract #conditional-doxastic-models #doxastic-logic #logic-of-conditional-beliefs #private-announcements #public-announcements #serious-possibility-paradox-project
Abstract 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 belief updates (sometimes called “dynamic” belief revision) induced by epistemic actions, we consider two particular cases: public announcements and private announcements to subgroups of age nts. We show how the standard semantics for these types of updates can be appropriately modified in order to apply it to CDM’s, thus incorporating belief revision into our notion of update. We provide a complete axiomatization of the corresponding dynamic doxastic logics. As an application, we solve a “cheating version” of the Muddy Children Puzzle. Key words: belief revision, belief update, conditional belief, dynamic epistemic logic, public announcement, modal logic, multi-agent system
If you want to change selection, open document below and click on "Move attachment"

pdf

owner: rappatoni - (no access) - Baltag and Smets - conditional doxastic models a qualiltative approach to odynamic belief revision.pdf, p1


Summary

statusnot read reprioritisations
last reprioritisation on suggested re-reading day
started reading on finished reading on

Details



Discussion

Do you want to join discussion? Click here to log in or create user.