A framework for reasoning under uncertainty with temporal constraints

Time is the key stimulus to change, causality and interaction which are the main components of a dynamic world. Therefore, the modeling of knowledge, especially in complex and dynamic domains like economics, sociology, and ecology, must incorporate the concept of time. Although there has been much research over the years on the representation of knowledge (causality, implication, and uncertainty) and on the representation of time, it has been a continuing challenge to unify them in a meaningful and useful fashion. In this paper, we propose a framework for reasoning under uncertainty with temporal constraints. The framework is extended from Bayesian knowledge-bases (BKBs), which represent knowledge in an “if-then” structure and represent uncertainty based on probability theory. By adding temporal constraints to BKBs, the framework provides a comprehensive model that incorporates the semantics of both time and uncertainty.

[1]  James F. Allen.  Planning as Temporal Reasoning , 1991, KR.

[2]  Eugene Santos,et al.  A framework for building knowledge-bases under uncertainty , 1999, J. Exp. Theor. Artif. Intell..

[3]  Gérard Ligozat,et al.  Weak Representations of Interval Algebras , 1990, AAAI.

[4]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[5]  Henry A. Kautz,et al.  Constraint Propagation Algorithms for Temporal Reasoning , 1986, AAAI.

[6]  Eugene Santos,et al.  Reasoning with BKBs – Algorithms and Complexity , 2004, Annals of Mathematics and Artificial Intelligence.

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

[8]  Eugene Santos,et al.  Culturally Infused Social Network Analysis , 2008, IC-AI.

[9]  Neil Yorke-Smith,et al.  Uncertainty in Soft Temporal Constraint Problems:A General Framework and Controllability Algorithms forThe Fuzzy Case , 2006, J. Artif. Intell. Res..

[10]  Eugene Santos,et al.  Modeling multiple communities of interest for interactive simulation and gaming: the dynamic adversarial gaming algorithm project , 2007, SPIE Defense + Commercial Sensing.

[11]  Didier Dubois,et al.  A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points , 2004, TIME.

[12]  Eugene Santos,et al.  Bayesian Knowledge Fusion , 2009, FLAIRS Conference.

[13]  Eugene Santos,et al.  Adversarial intent modeling using embedded simulation and temporal Bayesian knowledge bases , 2009, Defense + Commercial Sensing.

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

[15]  Eugene Santos,et al.  Implicitly preserving semantics during incremental knowledge base acquisition under uncertainty , 2003, Int. J. Approx. Reason..

[16]  Martine De Cock,et al.  Temporal reasoning about fuzzy intervals , 2008, Artif. Intell..

[17]  David Madigan,et al.  Probabilistic Temporal Reasoning with Endogenous Change , 1995, UAI.

[18]  Sanda M. Harabagiu,et al.  Temporal Context Representation and Reasoning , 2005, IJCAI.

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

[20]  Pramod K. Varshney,et al.  Temporal uncertainty reasoning networks for evidence fusion with applications to object detection and tracking , 2007, Inf. Fusion.

[21]  Eugene Santos,et al.  Empirical Evaluation of Adaptive User Modeling in a Medical Information Retrieval Application , 2003, User Modeling.

[22]  Lluís Vila,et al.  A Survey on Temporal Reasoning in Artificial Intelligence , 1994, AI Communications.

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

[24]  Eugene Santos,et al.  Satisfying constraint sets through convex envelopes , 2006, J. Exp. Theor. Artif. Intell..

[25]  Eugene Santos,et al.  Probabilistic temporal networks: A unified framework for reasoning with time and uncertainty , 1999, Int. J. Approx. Reason..

[26]  James F. Allen.  Temporal reasoning in plan management , 1998, Proceedings. Fifth International Workshop on Temporal Representation and Reasoning (Cat. No.98EX157).

[27]  Christian Freksa,et al.  Temporal Reasoning Based on Semi-Intervals , 1992, Artif. Intell..

[28]  Uffe Kjærulff,et al.  dHugin: a computational system for dynamic time-sliced Bayesian networks , 1995 .