Reasoning about Noisy Sensors in the Situation Calculus

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.

[1]  D. Lewis.  Probabilities of Conditionals and Conditional Probabilities , 1976 .

[2]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[3]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[4]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[5]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[6]  A. Haas.  The Case for Domain-Specific Frame Axioms , 1987 .

[7]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems , 1988 .

[8]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge , 1988 .

[9]  Henri Prade,et al.  Representation and combination of uncertainty with belief functions and possibility measures , 1988, Comput. Intell..

[10]  Edwin P. D. Pednault,et al.  ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus , 1989, KR.

[11]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[12]  Joseph Y. Halpern.  An Analysis of First-Order Logics of Probability , 1989, IJCAI.

[13]  Lenhart K. Schubert.  Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .

[14]  Henry E. Kyburg,et al.  Knowledge Representation and Defeasible Reasoning , 1990 .

[15]  Fahiem Bacchus,et al.  Representing and reasoning with probabilistic knowledge - a logical approach to probabilities , 1991 .

[16]  Raymond Reiter,et al.  The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.

[17]  Michael P. Wellman,et al.  Planning and Control , 1991 .

[18]  Joseph Y. Halpern,et al.  Knowledge, probability, and adversaries , 1993, JACM.

[19]  Hector J. Levesque,et al.  The Frame Problem and Knowledge-Producing Actions , 1993, AAAI.

[20]  Moisés Goldszmidt,et al.  Action Networks: A Framework for Reasoning about Actions and Change under Uncertainty , 1994, UAI.

[21]  R. Reiter,et al.  Temporal reasoning in the situation calculus , 1994 .

[22]  Fangzhen Lin,et al.  State Constraints Revisited , 1994, J. Log. Comput..

[23]  Judea Pearl,et al.  Action as a Local Surgery , 1995 .

[24]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .