A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is
NON-DETERMINISM AND UNCERTAINTY IN THE SITUATION CALCULUS
International Journal of Uncertainty Fuzziness and Knowledge-Based Systems
A novel approach is presented to modeling action and change within the Situation Calculus in the presence of both non-determinism and probabilistic behavior. Two examples are given to illustrate the approach: the Russian roulette and the alternating bit protocol. P oss( send (m, b), Dlvrd , s) ⊃ holds(sent(m, b), do( send (m, b), Dlvrd , s)), P oss( ack (b), Dlvrd , s) ∧ holds(rbit(b), s) ⊃ ¬holds(sbit(b), do( ack (b), Dlvrd , s)). Action Precondition Axioms P oss [ (ack(b), s) ⊃ holds(rbit(b), s), P oss [ (send(m, b), s) ⊃ holds(sbit(b), s).doi:10.1142/s0218488500000101 fatcat:4c4x43bafjffxeseqgpdqvty74