| http://www.w3.org/ns/prov#value | - This notation is from decision theory; S is sleeping beauty's chosen strategy, a function which takes as arguments all the observations, including memories, which sleeping beauty has access to at that point, and returns the value of any decision SB makes. (In this case, the scenario does not actually do anything with SB's answers, so the program ignores them.)
|
