Loading...
Please wait, while we are loading the content...
Similar Documents
Reasoning about Noisy Sensors in the Situation Calculus (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Levesque, Hector J. Bacchus, Fahiem Halpern, Joseph Y. |
| 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. |
| File Format | |
| Journal | ARTIFICIAL INTELLIGENCE |
| Journal | Artificial Intelligence |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Dynamic World Need Sensor Information Appropriate Way General Logical Theory Situation Calculus Various Proposition Non-sensor Action Frame Problem General Serf Sensor Action Simple Axiomatization Noisy Sensor |
| Content Type | Text |
