Fuzzy temporal constraint logic: a valid resolution principle

Abstract In this work we propose a fuzzy temporal constraint logic. First of all, we provide the formal language which will allow the expression of well-formed formulas related to the temporal events by means of temporal constraints. Secondly, we introduce a valid resolution principle in order to solve the queries in this logic. Finally, we will show that this resolution principle is a generalization of the resolution principle proposed for a possibilistic logic with fuzzy predicates (Dubois and Prade, Internat. J. Approx. Reason. 4 (1990) 1–21). All this will serve to reason within a context of the theoretical model of the temporal reasoning proposed by Marin and Barro (Fuzzy Temporal Constraint Network, FTCN) (Marin et al., Cybernet. Systems 25(2) (1994) 207–215). This model underlies a module for the resolution of temporal queries. This module belongs to a diagnostic and intelligent monitoring system of patients, based on temporal reasoning. The system is applied to the patients admitted in the Intensive Care Units with severe ischemic cardiopathy, submitted to continuous monitoring of the electrical and mechanical signals of the heart. However, what is exposed here in this document is not limited to a field of application in particular, but instead, it is completely general.

[1]  Roque Marín,et al.  Modeling the representation of time from a fuzzy perspective , 1994 .

[2]  Madan M. Gupta,et al.  Introduction to Fuzzy Arithmetic , 1991 .

[3]  Caroline M. Eastman,et al.  Response: Introduction to fuzzy arithmetic: Theory and applications : Arnold Kaufmann and Madan M. Gupta, Van Nostrand Reinhold, New York, 1985 , 1987, Int. J. Approx. Reason..

[4]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[5]  Senén Barro,et al.  A model and a language for the fuzzy representation and handling of time , 1994 .

[6]  Lluís Godo Lacasa,et al.  On Fuzzy Temporal Constraint Networks , 1994 .

[7]  M. Gupta,et al.  Theory of T -norms and fuzzy inference methods , 1991 .

[8]  J. Mendel.  Fuzzy logic systems for engineering: a tutorial , 1995, Proc. IEEE.

[9]  Dov M. Gabbay,et al.  Handbook of logic in artificial intelligence and logic programming (vol. 1) , 1993 .

[10]  Roque Marín,et al.  Obtaining solutions in fuzzy constraint networks , 1997, Int. J. Approx. Reason..

[11]  Didier Dubois,et al.  Necessity Measures and the Resolution Principle , 1987, IEEE Transactions on Systems, Man, and Cybernetics.

[12]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[13]  Arie Tzvieli.  Possibility theory: An approach to computerized processing of uncertainty , 1990, J. Am. Soc. Inf. Sci..

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

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

[16]  D. Senén Barro Ameneiro,et al.  An approach to fuzzy temporal reasoning in medicine , 1994 .

[17]  H. Prade,et al.  Possibilistic logic , 1994 .

[18]  Didier Dubois,et al.  Resolution principles in possibilistic logic , 1990, Int. J. Approx. Reason..

[19]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[20]  Tomas Hrycej,et al.  A Temporal Extension of Prolog , 1993, J. Log. Program..

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

[22]  Tomas Hrycej,et al.  Temporal Prolog , 1988, ECAI.

[23]  J. Mira,et al.  On the handling of time in intelligent monitoring of CCU patients , 1992, 1992 14th Annual International Conference of the IEEE Engineering in Medicine and Biology Society.

[24]  James F. Allen.  Towards a General Theory of Action and Time , 1984, Artif. Intell..