Reasoning about noisy sensors in the situation calculus

Authors:
Fahiem Bacchus;Joseph Y. Halpern;Hector J. Levesque
Affiliations:
Dept. Computer Science, University of Waterloo, Waterloo, Ontario, Canada;IBM Almaden Research Center, San Jose, CA;Dept. Computer Science, University of Toronto, Toronto, Ontario, Canada
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 9
Cited 9

An analysis of first-order logics of probability

Artificial Intelligence
Representing and reasoning with probabilistic knowledge: a logical approach to probabilities

Representing and reasoning with probabilistic knowledge: a logical approach to probabilities
ADL: exploring the middle ground between STRIPS and the situation calculus

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Planning and control

Planning and control
The frame problem in situation the calculus: a simple solution (sometimes) and a completeness result for goal regression

Artificial intelligence and mathematical theory of computation
Knowledge, probability, and adversaries

Journal of the ACM (JACM)
Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference
First-Order Dynamic Logic

First-Order Dynamic Logic
Temporal reasoning in the situation calculus

Temporal reasoning in the situation calculus

Analysis of Agent Programs Using Action Models

IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
An on-line decision-theoretic Golog interpreter

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Symbolic dynamic programming for first-order MDPs

IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Noise and the common sense informatic situation for a mobile robot

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
What is planning in the presence of sensing?

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Irrelevance and conditioning in first-order probabilistic logic

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A framework for decision-theoretic planning I: combining the situation calculus, conditional plans, probability and utility

UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Probabilistic Complex Actions in GOLOG

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Modal Probability, Belief, and Actions

Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Agents interacting with an incompletely known dynamic world need to be able to reason about the effects of their actions, and to gain further information about that world using sensors of some sort. Unfortunately, sensor information is inherently noisy, and in general serves only to increase the agent's degree of confidence in various propositions. Building on a general logical theory of action formalized in the situation calculus developed by Reiter and others, we propose a simple axiomatization of the effect on an agent's state of belief of taking a reading from a noisy sensor. By exploiting Reiter's solution to the frame problem, we automatically obtain that these sensor actions leave the rest of the world unaffected, and further, that non-sensor actions change the state of belief of the agent in appropriate ways.