Update, probability, knowledge and belief
The paper compares two kinds of models for logics of knowledge and belief, neighbourhood models and epistemic weight models. We give sound and complete calculi for both, and we show that our calculus for neighbourhood models is sound but not complete for epistemic weight models. Epistemic weight models combine knowledge and probability by using epistemic accessibility relations and weights to define subjective probabilities. Our Probability Comparison Calculus for this class of models is a further simplification of the calculus that was presented in AIML 2014.
|Bayesian learning, Dynamic epistemic logic, Epistemic modal logic, Probabilistic update, Probability|
|Conference on Advances in Modal Logic|
|Organisation||Software Analysis and Transformation|
van Eijck, D.J.N, & Renne, B. (2016). Update, probability, knowledge and belief. In Advances in Modal Logic (pp. 551–570).