Reasoning about Noisy Sensors and Effectors in the Situation Calculus

Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque

Agents interacting with an incompletely known world need to be able to reason about the effects of their actions, and to gain further information about that world they need to use…