Belief, Probabilities, Updates, and Model Checking

The talk will present epistemic probability models with probabilistic updates, and will dis-cuss an implementation that allows model checking the results of updates in a multi-agent set-ting. I will do my best to connect this to the themes of the workshop. Belief and Probability In the perspective of epistemic logic, our body of knowledge consists of true facts that we are certain about. But in the practice of everyday life and in the pursuit of science such absolute certainty is very rare. Belief and Probability In the perspective of epistemic logic, our body of knowledge consists of true facts that we are certain about. But in the practice of everyday life and in the pursuit of science such absolute certainty is very rare. • Can I safely cross this road? Belief and Probability In the perspective of epistemic logic, our body of knowledge consist