Nondeterminism and Uncertainty in the Situation Calculus.

Javier Pinto Amílcar Sernadas Cristina Sernadas Paulo Mateus

Published in: FLAIRS Conference (1999)

Keyphrases

situation calculus
sensing actions
event calculus
action theories
initial state

reasoning about actions
fluent calculus
modal logic
blocks world
reasoning tasks

logical language
uncertain data
concurrent actions
agent programming
provably correct

incomplete information
logical theories
universally quantified
data model