Non-Determinism and Uncertainty in the Situation Calculus

13 years 4 months ago

Download www.aaai.org

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.

Javier Pinto, Amílcar Sernadas, Cristina Se

Real-time Traffic

Alternating Bit Protocol | IJUFKS 2000 | Probabilistic Behavior | Russian Roulette |

claim paper

» Uncertainty and Information Measures for Imprecise Probabilities An Overview

» ESP A Logic of OnlyKnowing Noisy Sensing and Acting

» Computing Robust Plans in Continuous Domains

» Microeconomics

» Formulation of Hierarchical Task Network Service Decomposition

Post Info
More Details (n/a)

Added	18 Dec 2010
Updated	18 Dec 2010
Type	Journal
Year	2000
Where	IJUFKS
Authors	Javier Pinto, Amílcar Sernadas, Cristina Sernadas, Paulo Mateus

Comments (0)

Sciweavers

Non-Determinism and Uncertainty in the Situation Calculus

Alternating Bit Protocol | IJUFKS 2000 | Probabilistic Behavior | Russian Roulette |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers