Robot location estimation in the situation calculus
From MaRDI portal
Publication:901076
DOI10.1016/J.JAL.2015.02.004zbMATH Open1388.68274arXiv1402.7276OpenAlexW1964362679MaRDI QIDQ901076FDOQ901076
Authors: Vaishak Belle, Hector J. Levesque 
Publication date: 23 December 2015
Published in: Journal of Applied Logic (Search for Journal in Brave)
Abstract: 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.
Full work available at URL: https://arxiv.org/abs/1402.7276
Recommendations
Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Artificial intelligence for robotics (68T40)
Cites Work
- GOLOG: A logic programming language for dynamic domains
- Probabilistic graphical models.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- An introduction to infinite-dimensional analysis
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- How to progress a database
- Markov logic networks
- Reasoning about knowledge and probability
- Reasoning about actions with sensing under qualitative and probabilistic uncertainty
- Knowledge, action, and the frame problem
- Dynamic update with probabilities
- Probabilistic logic programming
- Reasoning about noisy sensors and effectors in the situation calculus
- Probabilistic situation calculus
- Knowledge, probability, and adversaries
- Title not available (Why is that?)
- An analysis of first-order logics of probability
- Robot location estimation in the situation calculus
- Probabilistic reasoning with answer sets
- On knowledge-based programming with sensing in the situation calculus
Cited In (10)
- Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems
- Analyzing generalized planning under nondeterminism
- Localizing a Robot with Minimum Travel
- A logical theory of localization
- Title not available (Why is that?)
- Robot location estimation in the situation calculus
- Knowledge-based programs as succinct policies for partially observable domains
- Locating a robot with angle measurements
- What observations really tell us
- Title not available (Why is that?)
Uses Software
This page was built for publication: Robot location estimation in the situation calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q901076)
