|One particularly successful
choice is provided by the probabilistic framework. Here, like in the categorical case, our
semantics is based on a set of possible worlds. For example, here our worlds correspond to
the difficulty of the course, the intelligence of the student, and the grade
the student received in the course.
Note that one of our worlds has a smart student getting a C in an easy