6 citations · 11 across the 5 of their papers we have counts for
4 papers · 1 filter
Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems
Vaishak Belle, Hector J. Levesque
Among the many approaches for reasoning about degrees of belief in the presence of noisy sensing and acting, the logical account proposed by Bacchus, Halpern, and Levesque is perha…
Robot Location Estimation in the Situation Calculus
Vaishak Belle, Hector Levesque
Location estimation is a fundamental sensing task in robotic applications, where the world is uncertain, and sensors and effectors are noisy. Most systems make various assumptions…
Reasoning about Probabilities in Dynamic Systems using Goal Regression
Vaishak Belle, Hector Levesque
Reasoning about degrees of belief in uncertain dynamic worlds is fundamental to many applications, such as robotics and planning, where actions modify state properties and sensors…
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…