{"type":"ScholarlyArticle","title":"Reasoning about Noisy Sensors in the Situation Calculus","authors":[{"name":"Fahiem Bacchus","slug":"fahiem-bacchus","given":"Fahiem","family":"Bacchus","affiliation":""},{"name":"Joseph Y. Halpern","slug":"joseph-y-halpern","given":"Joseph Y.","family":"Halpern","affiliation":""},{"name":"Hector J. Levesque","slug":"hector-j-levesque","given":"Hector J.","family":"Levesque","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/248","pdf":"https://ijcai.org/proceedings/1995/0248.pdf","markdown":"https://ijcai.org/proceedings/1995/248.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/248","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Temporal Reasoning","track":"Temporal Reasoning","number":248,"pages":{"first":1933,"last":1939},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}