We consider a discrete-time probabilistic inference system where the conclusions and inputs are probability measures on measurable spaces X,X and Y,Y respectively. We are given a kernel N from X to Y (N : X × Y → [0, 1]), which represents the way information about states of affairs (represented by X) is transmitted to a receptor (represented by Y ). Suppose that at time t = i the conclusion is ...