We can extend these ideas to
the probabilistic case, albeit in a more limited way than in theorem
proving. Rather than reasoning
separately for each student in our domain, we do probabilistic inference for
a “generic” student x, and then assume we have the right number of copies. |