Joshua Sack (School of Computer Science, Reykjavik University)

Logic for Probability, Belief, and Change

Abstract: Subjective probabilities provide numerical degrees of belief
an agent may have about a situation, and probability logic provides a
language for reasoning about probabilities.  In contrast, epistemic
logic lets us reason about qualitative degrees of belief an agent may
have, with degrees measured in binary: either the agent believes it or
does not.  This talk presents examples and logical systems for
reasoning about probability, how probabilities change given new
information, and how subjective probability and qualitative beliefs
interact.