Robot Location Estimation in the Situation Calculus

02/28/2014
by   Vaishak Belle, et al.
0

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 about the dependencies between state variables, and especially about how these dependencies change as a result of actions. Building on a general framework by Bacchus, Halpern and Levesque for reasoning about degrees of belief in the situation calculus, and a recent extension to it for continuous domains, in this paper we illustrate location estimation in the presence of a rich theory of actions using an example. We also show that while actions might affect prior distributions in nonstandard ways, suitable posterior beliefs are nonetheless entailed as a side-effect of the overall specification.

READ FULL TEXT
research
09/09/1998

Reasoning about Noisy Sensors and Effectors in the Situation Calculus

Agents interacting with an incompletely known world need to be able to r...
research
09/14/2018

Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems

Among the many approaches for reasoning about degrees of belief in the p...
research
09/14/2018

On Plans With Loops and Noise

In an influential paper, Levesque proposed a formal specification for an...
research
03/27/2013

Temporal Reasoning About Uncertain Worlds

We present a program that manages a database of temporally scoped belief...
research
02/14/2012

Belief change with noisy sensing in the situation calculus

Situation calculus has been applied widely in artificial intelligence to...
research
03/08/2000

cc-Golog: Towards More Realistic Logic-Based Robot Controllers

High-level robot controllers in realistic domains typically deal with pr...
research
08/10/2021

Refactoring the Whitby Intelligent Tutoring System for Clean Architecture

Whitby is the server-side of an Intelligent Tutoring System application ...

Please sign up or login with your details

Forgot password? Click here to reset