Loading...
Please wait, while we are loading the content...
Similar Documents
Reasoning about Noisy Sensors in the Situation Calculus (1995)
| Content Provider | CiteSeerX |
|---|---|
| Author | Bacchus, Fahiem Halpern, Joseph Y. Levesque, Hector |
| Description | : 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. Keywords: situation calculus, theories of action, knowledge, degree of belief. Declaration: This paper has not already been accepted by and is not currently under rev... |
| File Format | |
| Journal | Artificial Intelligence |
| Language | English |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Dynamic World Need Sensor Information Appropriate Way Situation Calculus Frame Problem Simple Axiomatization Noisy Sensor General Logical Theory Various Proposition General Serf Non-sensor Action Sensor Action |
| Content Type | Text |
| Resource Type | Article |
