A qualitative theory of dynamic interactive belief revision

@inproceedings{Baltag2008AQT,
  title={A qualitative theory of dynamic interactive belief revision},
  author={Alexandru Baltag and Sonja Smets},
  year={2008}
}
We present a logical setting that incorporates a belief-revision mechanism within Dynamic-Epistemic logic. As the “static” basis for belief revision, we use epistemic plausibility models, together with a modal language based on two epistemic operators: a “knowledge” modality K (the standard S5, fully introspective, notion), and a “safe belief” modality □ (“weak”, non-negatively-introspective, notion, capturing a version of Lehrer’s “indefeasible knowledge”). To deal with “dynamic” belief… 
Iterated Belief Base Revision: A Dynamic Epistemic Logic Approach
TLDR
This work investigates how priority graphs, a syntactic representation of preference relations deeply connected to prioritised bases, can be used to characterise belief change operators, focusing on well-known postulates of Iterated Belief Change.
Dynamic Logics of Belief Change
This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in multi-agent settings. We employ a mixture of ideas from AGM belief
Belief revision and dynamic logic
We explore belief change policies in a modal dynamic logic that explicitly delineates knowledge, belief, plausibility and the dynamics of these notions. Taking a Kripke semantics counterpart to Grove
Propositional Dynamic Logic as a Logic of Knowledge Update and Belief Revision
This talk shows how propositional dynamic logic (PDL) can be interpreted as a logic for multi-agent knowledge update and belief revision, or as a logic of preference change, if the basic relations
Chapter 7 Dynamic Logics of Belief Change
This chapter gives an overview of current dynamic logics that describe belief update and revision, both for single agents and in multi-agent settings. We employ a mixture of ideas from AGM belief
Belief update as social choice
Dynamic epistemic-doxastic logics describe the new knowledge or new beliefs indexBelief of agents after some informational event has happened. Technically, this requires an update rule that turns a
Probabilistic dynamic belief revision
TLDR
A theory of Probabilistic dynamic belief revision is developed, introducing probabilistic “action models” and proposing a notion of probabilism update product, that comes together with appropriate reduction laws.
Multi-agent Belief Revision with Linked Plausibilities
textabstract In this paper we forge a connection between dynamic epistemic logics of belief revision on one hand and studies of collective judgement and multi-agent preference change on the other.
A 2 . Philosophical Logic Higher-Order Belief Change in a Branching-Time Setting
While the standard work in logic for belief revision after [1 ] is cast in a syntactic-axiomatic and single-agent setting, recent developments in modal logic s how how a semantic approach can give
The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
TLDR
A logic for reasoning about the evidence-based knowledge and beliefs and the evidential dynamics of non-logically -omniscient agents and a formal dynamic account of Lehrer’s well-known Gettier-type scenario involving the famous Ferrari and the infamous Messrs. Nogot and Havit is provided.
...
...

References

SHOWING 1-10 OF 72 REFERENCES
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
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
Probabilistic dynamic belief revision
TLDR
A theory of Probabilistic dynamic belief revision is developed, introducing probabilistic “action models” and proposing a notion of probabilism update product, that comes together with appropriate reduction laws.
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
Dynamic logic for belief revision
  • J. Benthem
  • Philosophy
    J. Appl. Non Class. Logics
  • 2007
TLDR
This work shows how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added, and obtains complete logics for concrete mechanisms of belief revision based on compositional reduction axioms.
The Algebra of Multi-Agent Dynamic Belief Revision
A Logic for Suspicious Players: Epistemic Actions and Belief-Updates in Games
TLDR
This paper uses a logic that combines in a specific way a multi-agent epistemic logic with a dynamic logic of ``epistemic actions'' to describe changes in the information states of the players in a game.
From conditional probability to the logic of doxastic actions
TLDR
A theory of probabilistic dynamic belief revision is developed, introducing "action models" and a notion of Probabilistic update product, that comes together with appropriate reduction laws.
Logics of communication and change
Logics for Epistemic Programs
TLDR
The construction of logical languages which allow one to represent a variety of possible types of changes affecting the information states of agents in a multi-agent setting by defining a notion of epistemic program, which is a Kripke model of ‘actions’, representing the agents' uncertainty about the current action in a similar way that Kripkel models are commonly used in epistemic logic.
...
...