Non-Determinism and Uncertainty in the Situation Calculus

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.

• Type: Journal
• Year: 2000
• Where: IJUFKS
• Authors: Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus
• Keywords: Alternating Bit Protocol, IJUFKS 2000, Probabilistic Behavior, Russian Roulette