A model for reasoning about persistence and causation
Authors:
- 1 February 1989
- journal article
- Published by Wiley in Computational Intelligence
- Vol. 5 (2) , 142-150
Abstract
Reasoning about change requires predicting how long a proposition, having become true, will continue to be so. Lacking perfect knowledge, an agent may be constrained to believe that a proposition persists indefinitely simply because there is no way for the agent to infer a contravening proposition with certainty. In this paper, we describe a model of causal reasoning that accounts for knowledge concerning cause‐and‐effect relationships and knowledge concerning the tendency for propositions to persist or not as a function of time passing. Our model has a natural encoding in the form of a network representation for probabilistic models. We consider the computational properties of our model by reviewing recent advances in computing the consequences of models encoded in this network representation. Finally, we discuss how our probabilistic model addresses certain classical problems in temporal reasoning (e. g., the frame and qualification problems).Keywords
This publication has 10 references indexed in Scilit:
- Propagating Uncertainty in Bayesian Networks by Probabilistic Logic Sampling1988
- Local Computations with Probabilities on Graphical Structures and Their Application to Expert SystemsJournal of the Royal Statistical Society Series B: Statistical Methodology, 1988
- Evidential reasoning using stochastic simulation of causal modelsArtificial Intelligence, 1987
- Applications of circumscription to formalizing common-sense knowledgeArtificial Intelligence, 1986
- Towards a general theory of action and timeArtificial Intelligence, 1984
- A temporal logic for reasoning about processes and plansCognitive Science, 1982
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- Some Philosophical Problems from the Standpoint of Artificial Intelligence1981
- Approximating discrete probability distributions with dependence treesIEEE Transactions on Information Theory, 1968
- Equation of State Calculations by Fast Computing MachinesThe Journal of Chemical Physics, 1953