Probabilistic dynamic belief revision
In this dense paper, the authors present an expressive semantic framework for the logic of belief change, combining three well-known approaches to the subject: (1) a probabilistic one using Popper-Rényi-style conditional probability functions, (2) a qualitative one using AGM structures, here formulated in terms of plausibility rankings of states, and (3) a modal one using iterable belief and knowledge operators in the object language. To some extent, the literature has already combined these pairwise, but not as a threesome. By employing probabilities (rather than merely binary discriminations) one allows levels of belief less than unqualified acceptance. By working with Popper-Rényi conditional probabilities (rather than standard ones defined as ratios of one-place probabilities), one can identify unqualified belief with having for the agent subjective probability 1 without thereby making proper belief revision (introducing something inconsistent with what was previously believed) impossible or trivial, thus opening the way for a connection between conditionalization on probability functions and AGM qualitative revision. By employing iterable epistemic operators in the object language, one can model reflexive and inter-agent beliefs up to common knowledge. All these three aspects are studied in the context of the authors' comprehensive triple framework.
- A qualitative theory of dynamic interactive belief revision
- Backward induction and common knowledge of rationality
- Conditional doxastic models: a qualitative approach to dynamic belief revision
- Conditional probability and defeasible inference
- Conditional probability meets update logic
- Dynamic interactive epistemology
- Dynamic logic for belief revision
- Dynamic logic of preference upgrade
- Dynamic update with probabilities
- Fine-grained opinion, probability, and the logic of full belief
- scientific article; zbMATH DE number 2046116 (Why is no real title available?)
- scientific article; zbMATH DE number 1537935 (Why is no real title available?)
- scientific article; zbMATH DE number 6127535 (Why is no real title available?)
- Intelligent Agents and Multi-Agent Systems
- Knowledge in flux. Modeling the dynamics of epistemic states
- Knowledge, belief and counterfactual reasoning in games
- Logics for epistemic programs
- Logics of communication and change
- Nash equilibria of \(n\)-player repeated games with semi-standard information
- On a new axiomatic theory of probability
- On the logic of theory change: Partial meet contraction and revision functions
- On the revision of probabilistic belief states
- Probabilistic dynamic belief revision
- Probabilistic dynamic epistemic logic
- Prolegomena to dynamic logic for belief revision
- Representational of conditional probabilities
- The logic of public announcements, common knowledge, and private suspicions
- Probabilistic dynamic belief revision
- Dynamic update with probabilities
- Distributed revision of composite beliefs
- Conditional probability meets update logic
- Probabilistic belief logic and its probabilistic Aumann semantics
- Bisimulation and expressivity for conditional belief, degrees of belief, and safe belief
- On the revision of probabilistic belief states
- Bayesian belief revision based on Agent's criteria
- Consistency-based revision of structured belief bases
- Kinetic Consistency and Relevance in Belief Revision
- A qualitative theory of dynamic interactive belief revision
- Update of Probabilistic Beliefs: Implementation and Parametric Verification
- Conditional belief, knowledge and probability
- Argument-based belief in topological structures
- Knowledge, probability, and adversaries
- Belief and probability: a general theory of probability cores
- scientific article; zbMATH DE number 2063026 (Why is no real title available?)
- scientific article; zbMATH DE number 1785007 (Why is no real title available?)
- Comments on `The logic of conditional doxastic actions'
- Update, probability, knowledge and belief
- Learning probabilities: towards a logic of statistical learning
- Belief change and 3-valued logics: characterization of 19,683 belief change operators
- Conditional Probability Logic over Conditional Probability Spaces
- Logic and probabilistic update
- A Complete Probabilistic Belief Logic
- A probabilistic semantics for counterfactuals. Part A
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 2215829 (Why is no real title available?)
- scientific article; zbMATH DE number 6606369 (Why is no real title available?)
- DEL-sequents for progression
- DEL-sequents for progression
- Tracking probabilistic truths: a logic for statistical learning
- Belief Revision from Probability
- Double preference relations for generalised belief change
- To know or not to know: Epistemic approaches to security protocol verification
- A logical approach to doxastic causal reasoning
- A possible worlds semantics for trustworthy non-deterministic computations
- Knowledge from probability
- A deontic stit logic based on beliefs and expected utility
- The logic of fast and slow thinking
- Conditioning and interpretation shifts
- Doxastic logic based on causal structures
- Ranking kinematics for revising by contextual information
- Revising probabilities and full beliefs
- A dynamic-logical perspective on quantum behavior
This page was built for publication: Probabilistic dynamic belief revision
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1024132)
