Abstract:A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and traces the connections with probabilistic logics of belief and knowledge. The key notion in this paper is that of an agent a believing P conditionally on having information Q, where it is assumed that Q is compatible with what a knows. Conditional neighbourhood logic can be viewed as a core system for reasoning about subjective plausibility that is not yet committed to an interpretation in terms of numerical probability. Indeed, every weighted Kripke model gives rise to a conditional neighbourhood model, but not vice versa. We show that our calculus for conditional neighbourhood logic is sound but not complete for weighted Kripke models. Next, we show how to extend the calculus to get completeness for the class of weighted Kripke models. Neighbourhood models for conditional belief are closed under model restriction (public announcement update), while earlier neighbourhood models for belief as `willingness to bet' were not. Therefore the logic we present improves on earlier neighbourhood logics for belief and knowledge. We present complete calculi for public announcement and for publicly revealing the truth value of propositions using reduction axioms. The reductions show that adding these announcement operators to the language does not increase expressive power.

Total Belief Theorem and Generalized Bayes' Theorem

Belief measures conditioned on random set

An Improved Belief Entropy and Its Application in Decision-Making

Comparative Uncertainty, Belief Functions and Accepted Beliefs

A total uncertainty measure for D numbers based on belief intervals

Relative Belief Inferences from Decision Theory

Conditional Belief, Knowledge and Probability

Probabilistic Theorem Proving

Bayesian inference: More than Bayes's theorem

An Axiomatic Framework for Bayesian and Belief-function Propagation

Extend Transferable Belief Models with Probabilistic Priors

Transferable Belief Model on Quantum Circuits

Large-sample theory for inferential models: a possibilistic Bernstein--von Mises theorem

Central limit theorems for bounded random variables under belief

A New Approach to Updating Beliefs

A unified framework for information-theoretic generalization bounds

A New Probabilistic Transformation of Belief Mass Assignment

Learning from conditional probabilities

Generalization of Dempster-Shafer theory: A complex belief function

Generalized Jeffrey'S Rule of Conditioning and Evidence Combining Rule for A Priori Probabilistic Knowledge in Conditional Evidence Theory