A possibility theory-based approach to the handling of uncertain relations between temporal points

Uncertain relations between temporal points are represented by means of possibility distributions over the three basic relations "smaller than", "equal to", and "greater than". Operations for computing inverse relations, for composing relations, for combining relations coming from different sources and pertaining to the same temporal points, or for representing negative information, are defined. An illustrative example of representing and reasoning with uncertain temporal relations is given. This paper shows how possibilistic temporal uncertainty can be handled in the setting of point algebra. Moreover, the paper emphasizes the advantages of the possibilistic approach over a probabilistic approach previously proposed. This work does for the temporal point algebra what the authors previously did for the temporal interval algebra.

[1]  D. Dubois,et al.  Fundamentals of fuzzy sets , 2000 .

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

[3]  Lluis Godo,et al.  Possibilistic Temporal Reasoning based on Fuzzy Temporal Constraints , 1995, IJCAI.

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

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

[6]  Didier Dubois,et al.  Merging Fuzzy Information , 1999 .

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

[8]  Roque Marín,et al.  Fuzzy temporal constraint logic: a valid resolution principle , 2001, Fuzzy Sets Syst..

[9]  Peter van Beek,et al.  Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..

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

[11]  Roque Marín,et al.  Syntax and Semantics for a Fuzzy Temporal Constraint Logic , 2002, Annals of Mathematics and Artificial Intelligence.

[12]  L. Zadeh Fuzzy sets as a basis for a theory of possibility , 1999 .

[13]  Roque Marín,et al.  Reasoning with disjunctive fuzzy temporal constraint networks , 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

[14]  Didier Dubois,et al.  Automated Reasoning Using Possibilistic Logic: Semantics, Belief Revision, and Variable Certainty Weights , 1994, IEEE Trans. Knowl. Data Eng..

[15]  Didier Dubois,et al.  Possibility Theory: Qualitative and Quantitative Aspects , 1998 .

[16]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[17]  Didier Dubois,et al.  Timed possibilistic logic , 1991, Fundam. Informaticae.

[18]  Angelo Montanari,et al.  Temporal representation and reasoning in artificial intelligence: Issues and approaches , 2000, Annals of Mathematics and Artificial Intelligence.

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

[20]  Massimiliano Giacomin,et al.  A Fuzzy Extension of Allen's Interval Algebra , 1999, AI*IA.

[21]  R. Cooke Experts in Uncertainty: Opinion and Subjective Probability in Science , 1991 .

[22]  Boris Motik,et al.  A Fuzzy Model for Representing Uncertain, Subjective, and Vague Temporal Knowledge in Ontologies , 2003, OTM.

[23]  Hans Jürgen Ohlbach Relations between fuzzy time intervals , 2004, Proceedings. 11th International Symposium on Temporal Representation and Reasoning, 2004. TIME 2004..

[24]  Didier Dubois,et al.  Fuzziness and Uncertainty in Temporal Reasoning , 2003, J. Univers. Comput. Sci..

[25]  Da-qun Qian,et al.  A strategy of problem solving in a fuzzy reasoning network , 1989 .

[26]  Seppo Puuronen,et al.  Probabilistic reasoning about uncertain relations between temporal points , 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

[27]  Didier Dubois,et al.  Representing partial ignorance , 1996, IEEE Trans. Syst. Man Cybern. Part A.