×

A generalized time quantifier approach to approximate reasoning. (English) Zbl 1068.68146

Summary: A rather expressive fuzzy temporal logic for linear time is introduced. First, this logic is a multivalued generalization (Lukasiewicz style) of a two-valued linear-time temporal logic based on, e.g., the “until” operator. Second, it is obtained by introducing a generalized time quantifier (a generalization of the partition operator investigated by Shen) applied to fuzzy time sets.
In this fuzzy temporal logic, generalized compositional rules of inference, suitable for approximate reasoning in a temporal setting, are presented as valid formulas.
Some medical examples illustrate our approach.

MSC:

68T37 Reasoning under uncertainty in the context of artificial intelligence
03B52 Fuzzy logic; logic of vagueness

Software:

RESUME
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Abbod, M. F.; von Keyserlingk, D. G.; Linkens, D. A.; Mahfouf, M., Survey of utilization of fuzzy technology in medicine and healthcare, Fuzzy Sets and Systems, 120, 331-349 (2001)
[2] K.-P. Adlassnig, Fuzzy set theory and fuzzy logic in medicine, in: MIF’99: The Internat. Symp. on Medical Informatics and Fuzzy Technology, Hanoi, Vietnam, Vol. 1, 26-29 August, 1999, pp. 134-138.; K.-P. Adlassnig, Fuzzy set theory and fuzzy logic in medicine, in: MIF’99: The Internat. Symp. on Medical Informatics and Fuzzy Technology, Hanoi, Vietnam, Vol. 1, 26-29 August, 1999, pp. 134-138.
[3] Allen, J. F., A general model of action and time, Artificial Intelligence, 23, 2, 123-154 (1984) · Zbl 0567.68025
[4] Allen, J. F., Time and time againthe many ways to represent time, Internat, J. Intelligent Systems, 6, 4, 341-356 (1991)
[5] Barro, S.; Marin, R.; Mira, J.; Paton, A., A model and a language for the fuzzy representation and handling of time, Fuzzy Sets and Systems, 61, 153-175 (1994)
[6] M. Belmonte-Serrano, C. Sierra and R. López de Mantaras, RENOIR: an expert system using fuzzy logic for rheumatology diagnosis, Internat. J. Intelligent Systems 9 (1994) 985-1000. Wiley Computing Publishing, Wiley, New York.; M. Belmonte-Serrano, C. Sierra and R. López de Mantaras, RENOIR: an expert system using fuzzy logic for rheumatology diagnosis, Internat. J. Intelligent Systems 9 (1994) 985-1000. Wiley Computing Publishing, Wiley, New York.
[7] I. Bichindaritz, Temporal knowledge representation and organization for case-based reasoning, in: 3rd Internat. Workshop on Temporal Representation and Reasoning (TIME ’96), Los Alamitos, CA, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 152-159.; I. Bichindaritz, Temporal knowledge representation and organization for case-based reasoning, in: 3rd Internat. Workshop on Temporal Representation and Reasoning (TIME ’96), Los Alamitos, CA, IEEE Computer Society Press, Silver Spring, MD, 1996, pp. 152-159.
[8] Combi, C.; Shahar, Y., Temporal reasoning and temporal data maintenance in medicine, Comput. Biol. Med., 27, 5, 353-368 (1997)
[9] Dojat, M.; Pachet, F.; Guessoum, Z.; Touchard, D.; Harf, A.; Brochard, L., NéoGaneshA working system for the automated control of assisted ventilation in ICUs, Artificial Intelligence Med., 11, 2, 97-117 (1997)
[10] Dojat, M.; Ramaux, N.; Fontaine, D., Scenario recognition for temporal reasoning in medical domains, Artificial Intelligence Med., 14, 1-2, 139-155 (1998)
[11] Dubois, D.; Prade, H., Processing fuzzy temporal knowledge, IEEE Trans. Systems Man Cybernet., 19, 4, 729-744 (1989)
[12] S. Dutta, A event-based fuzzy temporal logic, in: Proc. 18th IEEE Internat. Symp. on Multiple-Valued Logic, Palma de Mallorca, Spain, 1988, pp. 64-71.; S. Dutta, A event-based fuzzy temporal logic, in: Proc. 18th IEEE Internat. Symp. on Multiple-Valued Logic, Palma de Mallorca, Spain, 1988, pp. 64-71.
[13] Feng, E.; Yang, H.; Rao, M., Fuzzy expert system for real-time process condition monitoring and incident prevention, Expert Systems Appl., 15, 3-4, 383-390 (1998)
[14] D. Gabbay, A. Pnueli, S. Shelah, J. Stavi, On the temporal analysis of fairness, in: Proc. of the 7th Annual ACM Symp. on Principles of Programming Languages, Las Vegas, Nevada, January 1980, pp. 163-173.; D. Gabbay, A. Pnueli, S. Shelah, J. Stavi, On the temporal analysis of fairness, in: Proc. of the 7th Annual ACM Symp. on Principles of Programming Languages, Las Vegas, Nevada, January 1980, pp. 163-173.
[15] Gamper, J.; Nejdl, W., Abstract temporal diagnosis in medical domains, Artificial Intelligence Med., 10, 13, 209-234 (1997)
[16] Haimowitz, I. J.; Kohane, I. S., Managing temporal words for medical trend diagnosis, Artificial Intelligence Med., 8, 299-321 (1996)
[17] Hájek, P., Metamathematics of Fuzzy Logic (1998), Kluwer: Kluwer Dordrecht, Boston, London · Zbl 0937.03030
[18] S. Hanks, D. Madigan, J. Gavrin, Probabilistic temporal reasoning with endogenous change, in: Proc. of the 11th Annual Conf. on Uncertainty in Artificial Intelligence (UAI-95), Montreal, Canada, 18-20 August, 1995, pp. 245-254.; S. Hanks, D. Madigan, J. Gavrin, Probabilistic temporal reasoning with endogenous change, in: Proc. of the 11th Annual Conf. on Uncertainty in Artificial Intelligence (UAI-95), Montreal, Canada, 18-20 August, 1995, pp. 245-254.
[19] D.H. Hung, et al., Development of an expert system for lung diseases using fuzzy logic, in: MIF’99: the Internat. Symp. on Medical Informatics and Fuzzy Technology, Hanoi, Vietnam, Vol. 1, 26-29 August, 1999, pp. 51-62.; D.H. Hung, et al., Development of an expert system for lung diseases using fuzzy logic, in: MIF’99: the Internat. Symp. on Medical Informatics and Fuzzy Technology, Hanoi, Vietnam, Vol. 1, 26-29 August, 1999, pp. 51-62.
[20] Imhoff, M.; Bauer, M.; Gather, U.; Loehlein, D., Time series analysis in intensive care medicine, Appl. Cardiopulmonary Pathophysiology, 6, 263-281 (1997)
[21] Keravnou, E. T., Temporal diagnostic reasoning based on time-objects, Artificial Intelligence Med., 8, 235-265 (1996)
[22] Keravnou, E. T., Temporal reasoning in medicine, Artificial Intelligence Med., 8, 187-191 (1996)
[23] Kiseliova, T.; Moraga, C., On incorporation of time in medical expert systems, Tatra Mountains Mathe. Publ., 21, 19-30 (2000) · Zbl 1042.68675
[24] T. Kiseliova, C. Moraga, Using terms to process time in medical diagnoses, in: IASTED Internat. Conf. Signal Processing and Communications, SPC’2000, Marbella, Spain, 19-23 September, 2000.; T. Kiseliova, C. Moraga, Using terms to process time in medical diagnoses, in: IASTED Internat. Conf. Signal Processing and Communications, SPC’2000, Marbella, Spain, 19-23 September, 2000. · Zbl 1042.68675
[25] T. Kiseliova, C. Moraga, Modelling temporal distribution of symptoms and diseases with fuzzy logic, in: Joint 9th IFSA World Congress and 20th NAFIPS International Conference, IFSA/NAFIPS2001, Vancouver, Canada, 25-28 July, 2001, pp. 1637-1642.; T. Kiseliova, C. Moraga, Modelling temporal distribution of symptoms and diseases with fuzzy logic, in: Joint 9th IFSA World Congress and 20th NAFIPS International Conference, IFSA/NAFIPS2001, Vancouver, Canada, 25-28 July, 2001, pp. 1637-1642.
[26] T. Kiseliova, H. Peters, Decision making in diagnosis of oral mucosa lesions, in: B. Reusch (Ed.), Internat. Conf. on Computational Intelligence, 7th FUZZY DAYS in Dortmund, Dortmund, Germany, Lecture Notes in Computer Science, Springer, 1-3 October, 2001, pp. 33-39.; T. Kiseliova, H. Peters, Decision making in diagnosis of oral mucosa lesions, in: B. Reusch (Ed.), Internat. Conf. on Computational Intelligence, 7th FUZZY DAYS in Dortmund, Dortmund, Germany, Lecture Notes in Computer Science, Springer, 1-3 October, 2001, pp. 33-39. · Zbl 1043.68840
[27] Klir, G. J.; Clair, U. H.; Yuan, B., Fuzzy Sets Theory, Foundations and Applications (1997), Prentice-Hall: Prentice-Hall Upper Saddle River, NJ
[28] Larizza, C.; Bellazzi, R.; Riva, A., Temporal abstractions for diabetic patients management, (Keravnou, E.; etal., Artificial Intelligence in Medicine, Proc. AIME-97 (1997), Berlin: Berlin Springer), 319-330
[29] Lientz, B. P., On time dependent fuzzy sets, Inform. Sci., 4, 367-376 (1972) · Zbl 0242.90057
[30] J. Ma, B. Knight, Reified temporal logics: an overview,; J. Ma, B. Knight, Reified temporal logics: an overview, · Zbl 0984.03017
[31] van der Maas, A. A.F.; ter Hofstede, A. H.M.; de Vries Robbé, P. F., Formal description of temporal knowledge in case reports, Artificial Intelligence Med., 16, 251-282 (1999)
[32] Maeda, H.; Asaoka, S.; Murakami, S., Dynamical fuzzy reasoning and its application to system modelling, Fuzzy Sets and Systems, 80, 101-109 (1996)
[33] Marin, R.; Ruiz, R.; Martin, F.; Barro, S.; Palacios, F., An approach to fuzzy temporal reasoning in medicine, Mathware Soft Comput., 3, 265-279 (1994)
[34] Miksch, S.; Horn, W.; Popow, C.; Paky, F., Utilizing temporal data abstraction for data validation and therapy planning for artificially ventilated newborn infants, Artificial Intelligence Med., 8, 543-576 (1996)
[35] Ngo, L.; Haddawy, P.; Krieger, R.; Helwig, J., Efficient temporal probabilistic reasoning via context-sensitive model construction, Comput. Biol. Med., 27, 5, 453-476 (1997)
[36] Peek, N. B., Explicit temporal models for decision-theoretic planning of clinical management, Artificial Intelligence Med., 15, 2, 135-154 (1999)
[37] J. Puyol-Gruart, L. Godo, C. Sierra, Handling fuzzy information in MILORD II, in: Proc. of the 9TH Symp. on Information Control in Manufacturing (INCOM’98), Nancy-Metz, France, 24-26 June, 1998, pp. 85-90.; J. Puyol-Gruart, L. Godo, C. Sierra, Handling fuzzy information in MILORD II, in: Proc. of the 9TH Symp. on Information Control in Manufacturing (INCOM’98), Nancy-Metz, France, 24-26 June, 1998, pp. 85-90.
[38] qun Qian, Da, Representation and use of imprecise temporal knowledge in dynamic systems, Fuzzy Sets and Systems, 50, 59-77 (1992)
[39] Raha, S.; Ray, S., Approximate reasoning with time, Fuzzy Sets and Systems, 107, 59-79 (1999) · Zbl 0940.68144
[40] Shahar, Y., A framework for knowledge-based temporal abstraction, Artificial Intelligence, 90, 79-133 (1997) · Zbl 1017.03517
[41] E. Shen, Partition logics and transitive closure logics (abstract), Bull. Sci. 38 (1993) 1271-1272 (Chinese).; E. Shen, Partition logics and transitive closure logics (abstract), Bull. Sci. 38 (1993) 1271-1272 (Chinese).
[42] E. Shen, The partition extensions of propositional temporal logic, Unpublished paper, 1996.; E. Shen, The partition extensions of propositional temporal logic, Unpublished paper, 1996.
[43] Shen, E.; Chian, Y., The downward transfer of elementary satisfiability of partition logics, Math. Logic Quart., 46, 477-487 (2000) · Zbl 0964.03037
[44] Shen, E.; Tian, Q., Monadic partition logics and finite automata, Theoret. Comput. Sci., 166, 63-81 (1996) · Zbl 0872.03024
[45] Steinmann, F., The interpretation of time-varying data with DiaMon-1, Artificial Intelligence Med., 8, 343-357 (1996)
[46] H. Thiele, Modales Approximatives Schliessen, Technical Report, Universität Dortmund, Lehrstuhl Informatik I, September 2000.; H. Thiele, Modales Approximatives Schliessen, Technical Report, Universität Dortmund, Lehrstuhl Informatik I, September 2000.
[47] H. Thiele, Zur Behandlung von Zeitaspekten im approximativen Schließen, Unpublished, 2001.; H. Thiele, Zur Behandlung von Zeitaspekten im approximativen Schließen, Unpublished, 2001.
[48] H. Thiele, S. Kalenka, On fuzzy temporal logic, in: Conf. Proc. 2nd Internat. Conf. on Fuzzy Systems, San Francisco, Vol. II, 1993, pp. 1027-1032.; H. Thiele, S. Kalenka, On fuzzy temporal logic, in: Conf. Proc. 2nd Internat. Conf. on Fuzzy Systems, San Francisco, Vol. II, 1993, pp. 1027-1032.
[49] Vila, L., A survey on temporal reasoning in artificial intelligence, AI Comm., 7, 4-28 (1994)
[50] Virant, J.; Zimic, N., Attention to time in fuzzy logic, Fuzzy Sets and Systems, 82, 39-49 (1996)
[51] Wolper, P., Temporal logic can be more expressive, Inform. and Control, 56, 1-2, 72-99 (1983) · Zbl 0534.03009
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.