Probabilistic reasoning about uncertain relations between temporal points

A wide range of AI applications should manage time varying information. Many published research articles in the area of temporal representation and reasoning assume that temporal data is precise and certain, even though in reality this assumption is often false. However, in many real applications temporal information is imperfect and there is a need to find some way of handling it. An uncertain relation between two temporal points is represented as a vector with three probability values denoting the probabilities of the three basic relations: "<" (before), "=" (at the same time), and ">" (after). The reasoning mechanism includes inversion, composition, addition, and negation operations. We propose formulas to calculate the probability values within the uncertainty vectors representing the resulting relations of the reasoning operations. We also consider an example of using the proposed representation and reasoning mechanism.

[1]  Doron Rotem,et al.  Uncertain, Incomplete, and Inconsistent Data in Scientific and Statistical Databases , 1996, Uncertainty Management in Information Systems.

[2]  Simon Parsons,et al.  A review of uncertainty handling formalisms , 1998, Applications of Uncertainty Formalisms.

[3]  Vladimir Ryabov Uncertain Relations between Indeterminate Temporal Intervals , 2000 .

[4]  Didier Dubois,et al.  Processing fuzzy temporal knowledge , 1989, IEEE Trans. Syst. Man Cybern..

[5]  Simon Parsons,et al.  Addendum to "Current Approaches to Handling Imperfect Information in Data and Knowledge Bases" , 1996, IEEE Trans. Knowl. Data Eng..

[6]  E. Shortliffe Computer-based medical consultations: mycin (elsevier north holland , 1976 .

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

[8]  J. Carbonell,et al.  Representing Plans Under Uncertainty: A Logic of Time, Chance, and Action , 1994 .

[9]  Peter Haddawy The logic of time, chance, and action , 1994 .

[10]  Ahmed Y. Tawfik,et al.  Irrelevance in uncertain temporal reasoning , 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

[11]  P. Walley Measures of Uncertainty in Expert Systems , 1996, Artificial Intelligence.

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

[13]  P. V. Beek Exact and approximate reasoning about qualitative temporal relations , 1992 .

[14]  Curtis E. Dyreson,et al.  Supporting valid-time indeterminacy , 1998, TODS.

[15]  Peter van Beek,et al.  Exact and approximate reasoning about temporal relations 1 , 1990, Comput. Intell..

[16]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[17]  Curtis E. Dyreson,et al.  A Bibliography on Uncertainty Management in Information Systems , 1996, Uncertainty Management in Information Systems.