Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision | Zendy

Alexandru Baltag | Zendy; Sonja Smets | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

Author(s) -

Alexandru Baltag,

Sonja Smets

Publication year - 2006

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2006.05.034

Subject(s) - doxastic logic , belief revision , computer science , epistemology , semantics (computer science) , theoretical computer science , artificial intelligence , mathematics , philosophy , programming language

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 agents. 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.