Reasoning about Noisy Sensors in the Situation Calculus
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence. Temporal Reasoning. Pages 1933-1939.
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.
@inproceedings{ijcai1995p248,
title = {Reasoning about Noisy Sensors in the Situation Calculus},
author = {Bacchus, Fahiem and Halpern, Joseph Y. and Levesque, Hector J.},
booktitle = {Proceedings of the Fourteenth International Joint Conference on
Artificial Intelligence, {IJCAI-95}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Chris S. Mellish},
pages = {1933--1939},
year = {1995},
note = {Temporal Reasoning},
url = {https://ijcai.org/proceedings/1995/248},
}
TY - CPAPER TI - Reasoning about Noisy Sensors in the Situation Calculus AU - Bacchus, Fahiem AU - Halpern, Joseph Y. AU - Levesque, Hector J. T2 - Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI-95 PB - International Joint Conferences on Artificial Intelligence PY - 1995 SP - 1933 EP - 1939 UR - https://ijcai.org/proceedings/1995/248 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
