Probabilistic transition systems provide a rigorous framework for modelling systems in which state changes occur according to probabilistic rules, rather than deterministic or purely nondeterministic ...
"Yes or no: was there once life on Mars?" I can't say. "What about intelligent life?"' That seems most unlikely, but again, I can't really say. The simple yes-or-no framework has no place for shadings ...