Nondeterminism and Uncertainty in the Situation Calculus

Javier Pinto, Pontificia Universidad Católica de Chile; Amílcar Sernadas, Cristina Sernadas and Paulo Mateus, Instituto Superior Técnico

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.

This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.