Reasoning about Noisy Sensors and Effectors in the Situation Calculus

Fahiem Bacchus Joseph Y. Halpern Hector J. Levesque

Published in: CoRR (1998)

Keyphrases

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