Computer Science – Artificial Intelligence
Scientific paper
1998-09-09
Computer Science
Artificial Intelligence
A preliminary version of the paper appeared in IJCAI '95
Scientific paper
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 sensors of some sort. Unfortunately, both the effects of actions and the information returned from sensors are subject to error. To cope with such uncertainties, the agent can maintain probabilistic beliefs about the state of the world. With probabilistic beliefs the agent will be able to quantify the likelihood of the various outcomes of its actions and is better able to utilize the information gathered from its error-prone actions and sensors. In this paper, we present a model in which we can reason about an agent's probabilistic degrees of belief and the manner in which these beliefs change as various actions are executed. We build on a general logical theory of action developed by Reiter and others, formalized in the situation calculus. We propose a simple axiomatization that captures an agent's state of belief and the manner in which these beliefs change when actions are executed. Our model displays a number of intuitively reasonable properties.
Bacchus Fahiem
Halpern Joseph Y.
Levesque Hector J.
No associations
LandOfFree
Reasoning about Noisy Sensors and Effectors in the Situation Calculus does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Reasoning about Noisy Sensors and Effectors in the Situation Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Reasoning about Noisy Sensors and Effectors in the Situation Calculus will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-230146