Modeling a Dynamic and Uncertain World I: Symbolic and Probabilistic Reasoning About Change

Abstract Intelligent agency requires some ability to predict the future. An agent must ask itself what is presently its best course of action given what it now knows about what the world will be like when it intends to act. This paper presents a system that uses a probabilistic model to reason about the effects of an agent's proposed actions on a dynamic and uncertain world, computing the probability that relevant propositions will hold at a specified point in time. The model allows for incomplete information about the world, the occurrence of exogenous (unplanned) events, unreliable sensors, and the possibility of an imperfect causal theory. The system provides an application program with answers to questions of the form “is the probability that ϕ will hold in the world at time t greater than τ?” It is unique among algorithms for probabilistic temporal reasoning in that it tries to limit its inference according to the proposition, time, and probability threshold provided by the application. The system will also notify the application if subsequent evidence invalidates its answer to a query.

[1]  Keiji Kanazawa,et al.  A model for reasoning about persistence and causation , 1989 .

[2]  Barbara Pernici,et al.  temporal Reasoning , 1993, Temporal Databases.

[3]  Drew V. Mcdermott,et al.  Projecting plans for uncertain worlds , 1990 .

[4]  Riccardo Bellazzi,et al.  Temporal Reasoning with Probabilities , 1989, UAI 1989.

[5]  Carlo Berzuini.  Representing Time in Causal Probabilistic Networks , 1989, UAI.

[6]  J. Weber.  Principles and algorithms for causal reasoning with uncertainty , 1990 .

[7]  Y. Shoham,et al.  Temporal reasoning in artificial intelligence , 1988 .

[8]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[9]  V. Lifschitz.  Formal theories of action , 1987 .

[10]  Mark S. Boddy,et al.  Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.

[11]  Peter Haddawy,et al.  Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals , 1992, KR.

[12]  E. T. Jaynes,et al.  Where do we Stand on Maximum Entropy , 1979 .

[13]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[14]  Jay C. Weber,et al.  A Parallel Algorithm for Statistical Belief Refinement and its use in Causal Reasoning , 1989, IJCAI.

[15]  J. F. C. Kingman,et al.  Dynamic Probabilistic Systems. Volume 1: Markov Models. Volume 2: Semi‐Markov and Decision Processes , 1972 .

[16]  Daniel Hunter,et al.  Causality and maximum entropy updating , 1989, Int. J. Approx. Reason..

[17]  Ross D. Shachter,et al.  Dynamic programming and influence diagrams , 1990, IEEE Trans. Syst. Man Cybern..

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

[19]  Drew McDermott,et al.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[20]  Michael P. Wellman.  Formulation of tradeoffs in planning under uncertainty , 1988 .

[21]  John McCarthy,et al.  Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.

[22]  Steve Hanks,et al.  Practical Temporal Projection , 1990, AAAI.

[23]  Thomas Dean,et al.  Temporal imagery: an approach to reasoning about time for planning and problem solving , 1986 .

[24]  Keiji Kanazawa,et al.  A Logic and Time Nets for Probabilistic Inference , 1991, AAAI.

[25]  Steve Hanks,et al.  Temporal reasoning about uncertain worlds , 1987, Int. J. Approx. Reason..