Reasoning about change: time and causation from the standpoint of artificial intelligence
Reasoning about change: time and causation from the standpoint of artificial intelligence
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Principles and algorithms for causal reasoning with uncertainty
Principles and algorithms for causal reasoning with uncertainty
Readings in uncertain reasoning
Readings in uncertain reasoning
A model for reasoning about persistence and causation
Computational Intelligence
Simulation Approaches to General Probabilistic Inference on Belief Networks
UAI '89 Proceedings of the Fifth Annual Conference on Uncertainty in Artificial Intelligence
UAI '90 Proceedings of the Sixth Annual Conference on Uncertainty in Artificial Intelligence
Representing and reasoning with probabilistic knowledge
Representing and reasoning with probabilistic knowledge
A model for projection and action
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
An analysis of first-order logics of probability
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Annotated probabilistic temporal logic
ACM Transactions on Computational Logic (TOCL)
A temporal Bayesian network for diagnosis and prediction
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
UAI'96 Proceedings of the Twelfth international conference on Uncertainty in artificial intelligence
Tradeoffs in constructing and evaluating temporal influence diagrams
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Forecasting sleep apnea with dynamic network models
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
Possibilistic decreasing persistence
UAI'93 Proceedings of the Ninth international conference on Uncertainty in artificial intelligence
A language for planning with statistics
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
Dynamic network updating techniques for diagnostic reasoning
UAI'91 Proceedings of the Seventh conference on Uncertainty in Artificial Intelligence
A logic for causal inference in time series with discrete and continuous variables
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
| Hi-index | 0.00 |
In this paper, we show a new approach for reasoning about time and probability that combines a formal declarative language with a graph representation of systems of random variables for making inferences. First, we provide a continuous-time logic for expressing knowledge about time and probability. Then, we introduce the time net, a kind of Bayesian network for supporting inference with statements in the logic. Time nets encode the probability of facts and events over time. We provide a simulation algorithm to compute probabilities for answering queries about a time net. Finally, we consider an incremental probabilistic temporal database based on the logic and time nets to support temporal reasoning and planning applications. The result is an approach that is semantically well-founded, expressive, and practical.