Believing Change and Changing Belief
Peter Haddawy firstname.lastname@example.org Department of Electrical Engineering and Computer Science University of WisconsinMilwaukee PO Box 784 Milwaukee, WI 53201 April 2, 1995
We present a firstorder logic of time, chance, and probability that is capable of expressing the four types of higherorder probability sentences relating subjective probability and objective chance at different times. We define a causal notion of objective chance and show how it can be used in conjunction with subjective probability to distinguish between causal and evidential correlation by distinguishing between conditions, events, and actions that 1) influence the agent's belief in chance and 2) the agent believes to influence chance. Furthermore, the semantics of the logic captures some commonsense inferences concerning objective chance and causality. We show that an agent's subjective probability is the expected value of its beliefs concerning objective chance. We also prove that an agent using this representation believes with certainty that the past cannot be causally influenced. To appear in IEEE SMC special issue on HigherOrder Probability.