State of the Art: Existing Combinations of DEL and Probability Theory

The talk considers two kinds of models for logics of knowledge and belief, neighbourhood models and epistemic weight models, and traces connections. We present a new Probability Comparison Calculus that is sound and complete for epis-temic weight models. Epistemic weight models combine knowledge and probability by using epistemic accessibility relations and weights to define subjective probabilities. This is a further simplification of the calculus for probabilistic epistemic weight models that was presented in AIML 2014 [ES14]. At the end of the talk we turn to generic update, and present some examples of how this is handled in PRODEMO [Eij13], our prototype model checker for probabilistic epistemic logic. Probability and degree of information Dans les choses qui ne sont que vraisemblables, la différence des données que chaque homme a sur elles, est une des causes principales de la diversite ́ des opinions que l’on voit régner sur les mêmes objects. Laplace [Lap14] Probability and degree of information Dans les choses qui ne sont que vraisemblables, la différence des données que chaque homme a sur elles, est une des causes principales de la diversite ́ des opinions que l’on voit régner sur les mêmes objects. Laplace [Lap14] Tr: When concerned with things that are only likely true, the difference in how informed every man is about them is one of the principal causes of the diversity of opinions about the same objects