Reasoning about Noisy Sensors and Effectors in the Situation Calculus.

Fahiem Bacchus Joseph Y. Halpern Hector J. Levesque

Published in: Artif. Intell. (1999)

Keyphrases

situation calculus
concurrent actions
modal operators
event calculus
action theories
initial state
reasoning tasks
provably correct
reasoning about actions
blocks world
agent programming
logical language
sensing actions
modal logic
planning problems
fluent calculus