Artificial Intelligence in Medicine
Volume 38, Issue 2 , Pages 101-113 , October 2006

Temporal representation and reasoning in medicine: Research directions and challenges

  • Klaus-Peter Adlassnig

      Affiliations

    • Section on Medical Expert and Knowledge-Based Systems, Core Unit for Medical Statistics and Informatics, Medical University of Vienna, Spitalgasse 23, A-1090 Vienna, Austria
  • ,
  • Carlo Combi

      Affiliations

    • Dipartimento di Informatica, Università degli Studi di Verona, Strada le Grazie 15, I-37134 Verona, Italy
  • ,
  • Amar K. Das

      Affiliations

    • Stanford Medical Informatics, Stanford University, 251 Campus Drive, X233 Stanford, CA 94305, USA
  • ,
  • Elpida T. Keravnou

      Affiliations

    • Department of Computer Science, University of Cyprus, 75 Kallipoleos Str., CY-1678 Nicosia, Cyprus
  • ,
  • Giuseppe Pozzi

      Affiliations

    • Dipartimento di Elettronica e Informazione, Politecnico di Milano, p.za L. da Vinci 32, I-20133 Milano, Italy
    • Corresponding Author InformationCorresponding author. Tel.: +39 02 2399 3649; fax: +39 02 2399 3411.

Received 21 August 2006 ,Revised 5 October 2006 ,Accepted 9 October 2006.

References 

  1. Keravnou ET. Medical temporal reasoning (editorial). Artif Intell Med. 1991;3(6):289–290
  2. Keravnou ET. Temporal reasoning in medicine (editorial). Artif Intell Med. 1996;8(3):187–191
  3. Goodwin SD, Hamilton HJ. It's about time: an introduction to the special issue on temporal representation and reasoning. Comput Intell. 1996;12:357–358
  4. Shahar Y, Combi C. Temporal reasoning and temporal data maintenance in medicine: issues and challenges. Time-oriented systems in medicine. Comput Biol Med. 1997;27(5):353–368[special issue]
  5. Chittaro L, Montanari A. Editorial: temporal representation and reasoning. Ann Math Artif Intell. 1998;22(1–2):1–4
  6. Chittaro L, Montanari A. Temporal representation and reasoning in artificial intelligence: issues and approaches. Ann Math Artif Intell. 2000;28(1–4):47–106
  7. Temporal representation and reasoning. Ann Math Artif Intell. 2000;30(1–4):1–2[special issue]
  8. Bettini C, Montanari A. Temporal representation and reasoning. Data Knowl Eng. 2003;44(2):139–141
  9. Artale A, Dixon C, Fisher MD, Franconi E. Editorial: special issue on temporal representation and reasoning (time). J Log Comput. 2004;14(1):1
  10. Augusto JC. Temporal reasoning for decision support in medicine. Artif Intell Med. 2005;33(1):1–24
  11. Bouzid M, Combi C, Fisher MD, Ligozat G. Guest editorial: temporal representation and reasoning. Ann Math Artif Intell. 2006;46(3):231–234
  12. Zadeh LA. Fuzzy sets. Inf Control. 1965;8:338–353
  13. Kosko B. Neural networks and fuzzy systems. Englewood Cliffs, NJ: Prentice Hall; 1992;
  14. Steimann F. Diagnostic monitoring of clinical time series. PhD thesis. Technical University of Vienna, Vienna, Austria; 1997.
  15. Steimann F, Hayde M, Panzenböck B, Adlassnig K-P, Pollak A. Fuzzy support for serodiagnosis: the ONSET program. IEEE Eng Med Biol Mag. 1994;13:705–709
  16. Steimann F, Hayde M. A method to derive the time of onset of infection from serological findings. Methods Inform Med. 1997;36:51–58
  17. Steimann F, Adlassnig K-P. Clinical monitoring with fuzzy automata. Fuzzy Sets Syst. 1994;61:37–42
  18. Steimann F. The interpretation of time-varying data with DIAMON-1. Artif Intell Med. 1996;8(4):343–357
  19. Steimann F, Adlassnig K-P. Fuzzy medical diagnosis. In:  Ruspini EH,  Bonissone PP,  Pedrycz W editor. Handbook of fuzzy computation. Bristol, UK: IOP Publishing Ltd./Oxford University Press; 1998;p. G13.1:1–14
  20. Lowe A, Harrison MJ, Jones RW. Diagnostic monitoring in anaesthesia using fuzzy trend templates for matching temporal patterns. Artif Intell Med. 1999;16(2):183–199
  21. Lowe A, Jones RW, Harrison MJ. The graphical presentation of decision support information in an intelligent anaesthesia monitor. Artif Intell Med. 2001;22(2):173–191
  22. Melek WW, Lu Z, Kapps A, Fraser WD. Comparison of trend detection algorithms in the analysis of physiological time-series data. IEEE Trans Biomed Eng. 2005;52:639–651
  23. Kopecky D, Rappelsberger A, Hayde M, Prusa A-R, Adlassnig K-P. Knowledge-based interpretation of toxoplasmosis serology test results including fuzzy temporal concepts. In: Proceedings (CD-Rom Version) of joint 9th IFSA world congress and 20th NAFIPS international conference. 2001;2297.pdf
  24. Anastassova N. Development and evaluation of TempToxopert—knowledge-based computer-aided decision support during prenatal screening for infection with toxoplasma gondii. MD thesis. Medical University of Vienna, Vienna, Austria; 2005.
  25. Zadeh LA. Foreword. In:  Kruse R,  Gebhardt J,  Klawonn F editor. Foundations of fuzzy systems. Chichester: John Wiley & Sons; 1994;
  26. Tiffe S. FuzzyArden: representation and interpretation of vague medical knowledge by fuzzified Arden Syntax. PhD thesis. Technical University of Vienna, Vienna, Austria; 2003.
  27. Hripcsak G. Writing Arden syntax medical logic modules. Comput Biol Med. 1994;24:331–363
  28. Health Level Seven. Arden Syntax for Medical Logic Systems, Version 2.5. 3300 Washtenaw Ave., Suite 227, Ann Arbor, MI 48104, USA: Health Level Seven, Inc.; 2005.
  29. Tiffe S. Defining medical concepts by linguistic variables with fuzzy Arden syntax. In:  Kohane IS editors. Proceedings of the annual symposium of the American medical informatics association AMIA 2002. Philadelphia, PA: Hanley & Belfus; 2002;p. 796–800
  30. Qiu D, Dudeck J. Temporal propositions in a HIS-oriented expert system shell. Med Inform. 1991;16:65–76
  31. Kiseliova T, Wagner H. A generalized time quantifier approach to approximate reasoning. Fuzzy Sets Syst. 2004;145(2):213–228
  32. Kahn KM, Gorry GA. Mechanizing temporal knowledge. Artif Intell. 1977;9(1):87–108
  33. Dubois D, Prade H. Processing fuzzy temporal knowledge. IEEE Trans. Syst. Man Cybern. 1989;19:729–744
  34. Zadeh LA. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Syst. 1978;1:3–28
  35. Dutta S. An event based fuzzy temporal logic. In: Proceedings of the 18th international IEEE Symposium on multiple valued logic. Los Alamitos, CA: IEEE Computer Society Press; 1988;p. 64–71
  36. Dutta S. Temporal reasoning in medical expert systems. In: Proceedings of the IEEE symposium on the engineering of computer-based medical systems. Los Alamitos, CA: IEEE Computer Society Press; 1988;p. 118–22
  37. Barro S, Marín R, Rodríguez-Patón A. A model and a language for the fuzzy representation and handling of time. Fuzzy Sets Syst. 1994;61:153–175
  38. Innocent PR, John RI. Computer aided fuzzy medical diagnosis. Inf Sci. 2004;162(2):81–104
  39. Badaloni S, Giacomin M. The algebra IAfuz: a framework for qualitative fuzzy temporal reasoning. Artif Intell. 2006;170:872–908
  40. Allen JF. Towards a general theory of action and time. Artif Intell. 1984;23(2):123–154
  41. Bugarín A, Cariñena P, Barro S. Techniques and applications of fuzzy systems based on the Petri-net formalism. Fuzzy Theory Syst Tech Appl. 1999;4:1711–1749
  42. In:  Fisher MD,  Gabbay DM,  Vila L editor. Handbook of temporal reasoning in artificial intelligence. Amsterdam, Netherlands: Elsevier; 2005;
  43. Keravnou ET, Shahar Y. Temporal reasoning in medicine. In:  Fisher MD,  Gabbay DM,  Vila L editor. Handbook of temporal reasoning in artificial intelligence. Amsterdam, Netherlands: Elsevier; 2005;p. 587–652
  44. IBM Business Consulting Services. Personalized healthcare 2010: are you ready for information-based medicine? [accessed: September 1, 2006]. http://www-1.ibm.com/services/us/bcs/html/bcs_health-care.html; 2003.
  45. Larrañaga P, Menasalvas E, Peña JM, Robles V. Editorial: data mining in genomics and proteomics. Artif Intell Med. 2004;31(2):iii–iiv
  46. Hanks S, Madigan D. Probabilistic temporal reasoning. In:  Fisher MD,  Gabbay DM,  Vila L editor. Handbook of temporal reasoning in artificial intelligence. Amsterdam, Netherlands: Elsevier; 2005;p. 315–342
  47. Lucas PJF, van der Gaag LC, Abu-Hanna A. Bayesian networks in biomedicine and health-care. Artif Intell Med. 2004;30(3):201–214
  48. Keravnou ET. A multidimensional and multigranular model of time for medical knowledge-based systems. J Intell Inform Syst. 1999;13:73–120
  49. Carrault G, Cordier M-O, Quiniou R, Wang F. Temporal abstraction and inductive logic programming for arrhythmia recognition from electrocardiograms. Artif Intell Med. 2003;28(3):231–263
  50. Boaz D, Shahar Y. A framework for distributed mediation of temporal-abstraction queries to clinical databases. Artif Intell Med. 2005;34(1):3–24
  51. Keravnou ET. Temporal constraints in clinical diagnosis. J Intell Fuzzy Syst. 2002;12(1):49–67
  52. In:  Miksch S,  Hunter J,  Keravnou ET editor. Artificial intelligence in medicine. 10th conference on artificial intelligence in medicine, AIME 2005 proceedings. Heidelberg, Germany: Springer; 2005;[vol. 3581 of lecture notes in computer science]
  53. Shahar Y, Miksch S, Johnson P. The Asgaard project: a task-specific framework for the application and critiquing of time-oriented clinical guidelines. Artif Intell Med. 1998;14(1–2):29–51
  54. Duftschmid G, Miksch S. Knowledge-based verification of clinical guidelines by detection of anomalies. Artif Intell Med. 2001;22(1):23–41
  55. Terenziani P, Molino G, Torchio M. A modular approach for representing and executing clinical guidelines. Artif Intell Med. 2001;23(3):249–276
  56. Duftschmid G, Miksch S, Gall W. Verification of temporal scheduling constraints in clinical practice guidelines. Artif Intell Med. 2002;25(2):93–121
  57. Montani S, Terenziani P. Mapping clinical guidelines representation primitives to decision theory concepts. In:  de Mántaras RL,  Saitta L editor. Proceedings of the 16th European conference on artificial intelligence (ECAI’2004). Amsterdam, Netherlands: IOS Press; 2004;p. 1063–1064
  58. Terenziani P, Montani S, Bottrighi A, Molino G, Torchio M. Clinical guidelines adaptation: managing authoring and versioning issues. In:  Miksch S,  Hunter J,  Keravnou ET editor. Artificial intelligence in medicine, 10th conference on artificial intelligence in medicine, AIME 2005, proceedings. Heidelberg, Germany: Springer; 2005;p. 151–155[vol. 3581 of lecture notes in computer science]
  59. Fuchsberger C, Hunter J, McCue P. Testing Asbru guidelines and protocols for neonatal intensive care. In:  Miksch S,  Hunter J,  Keravnou ET editor. Artificial intelligence in medicine, 10th conference on artificial intelligence in medicine, AIME 2005, proceedings. Heidelberg, Germany: Springer; 2005;p. 101–110[vol. 3581 of lecture notes in computer science]
  60. Pellegrin L, Bonnardel N, Antonini F, Albanèse J, Martins C, Chaudet H. EORCA: a collaborative activities representation for building guidelines from field observations. In:  Miksch S,  Hunter J,  Keravnou ET editor. Artificial intelligence in medicine, 10th conference on artificial intelligence in medicine, AIME 2005, proceedings. Heidelberg, Germany: Springer; 2005;p. 111–120[vol. 3581 of lecture notes in computer science]
  61. Kun LG. Telehealth and the global health network in the 21st century: from homecare to public health informatics. Comput Methods Prog Biomed. 2001;64:155–167
  62. Catarci T, Santucci G, Silva SF. An interactive visual exploration of medical data for evaluating health centres. J Res Pract Inform Technol. 2003;35(2):99–119
  63. Ghosh B, Scott JE. Comparing knowledge management in health-care and technical support organizations. IEEE Trans Inform Technol Biomed. 2005;9(2):162–168
  64. Berler A, Pavlopoulos S, Koutsouris D. Using key performance indicators as knowledge-management tools at a regional health-care authority level. IEEE Trans Inform Technol Biomed. 2005;9(2):184–192
  65. van Gendt M, ten Teije A, Serban R, van Harmelen F. Formalising medical quality indicators to improve guidelines. In:  Miksch S,  Hunter J,  Keravnou ET editor. Artificial intelligence in medicine, 10th conference on artificial intelligence in medicine, AIME 2005, proceedings. Heidelberg, Germany: Springer; 2005;p. 201–210[vol. 3581 of lecture notes in computer science]
  66. Casati F, Ceri S, Pernici B, Pozzi G. Conceptual modelling of workflows. In:  Papazoglou MP editors. OOER’95: object-oriented and entity-relationship modelling, 14th international conference proceedings. Heidelberg, Germany: Springer; 1995;p. 341–354[vol. 1021 of lecture notes in computer science]
  67. The Workflow Management Coalition. The workflow management coalition [accessed: September 1, 2006]. http://www.wfmc.org; 2005.
  68. van der Aalst WMP, van Hee KM. Workflow management: models, methods, and systems. Boston, MA: MIT Press; 2002;
  69. Hederman L, Smutek D, Wade V, Knape T. Representing clinical guidelines in UML: a comparative study. In:  Surján G,  Engelbrecht R,  McNair P editor. Medical informatics in Europe 2002. Amsterdam, Netherlands: IOS Press; 2002;p. 471–477
  70. Casati F, Ceri S, Paraboschi S, Pozzi G. Specification and implementation of exceptions in workflow management systems. ACM Trans Database Syst. 1999;24(3):405–451
  71. Combi C, Pozzi G. Temporal conceptual modelling of workflows. In:  Song I-Y,  Liddle SW,  Ling TW,  Scheuermann P editor. Conceptual modelling—ER 2003, 22nd international conference on conceptual modeling, proceedings. Heidelberg, Germany: Springer; 2003;p. 59–76[vol. 2813 of lecture notes in computer science]
  72. Casati F, Ceri S, Pernici B, Pozzi G. Workflow evolution. Data Knowl Eng. 1998;24(3):211–238
  73. Combi C, Pozzi G. Towards temporal information in workflow systems. In:  Spaccapietra S,  March ST,  Kambayashi Y editor. Conceptual Modeling—ER 2002, 21st international conference on conceptual modeling, workshop proceedings. Heidelberg, Germany: Springer; 2002;p. 13–25[vol. 2503 of lecture notes in computer science]
  74. Combi C, Pozzi G. Architectures for a temporal workflow management system. In:  Haddad H,  Omicini A,  Wainwright RL,  Liebrock LM editor. Proceedings of the 2004 ACM symposium on applied computing (SAC). New York, NY: ACM; 2004;p. 659–666
  75. Jensen CS, Snodgrass RT. Temporal data management. IEEE Trans Knowl Data Eng. 1999;11(1):36–44
  76. Weyl S, Fries JF, Wiederhold G, Germano F. A modular self-describing clinical databank system. Comput Biomed Res. 1975;8(3):279–293
  77. Wiederhold G, Fries JF, Weyl S. Structured organization of clinical data bases. In: Proceedings of AFIPS NCC. Montvale, NJ: AFIPS Press; 1975;p. 479–485
  78. Kahn MG. Modeling time in medical decision-support programs. Med Decision Making. 1991;11(4):249–264
  79. Combi C, Cucchi G, Pinciroli F. Applying object-oriented technologies in modeling and querying temporally-oriented clinical databases dealing with temporal granularity and indeterminacy. IEEE Trans Inform Technol Biomed. 1997;1:100–127
  80. Shahar Y. A framework for knowledge-based temporal abstraction. Artif Intell. 1997;90:79–133
  81. Dolin RH. Modeling the temporal complexities of symptoms. J Am Med Inform Assoc. 1995;2(5):323–331
  82. Combi C, Pinciroli F, Pozzi G. Managing different time granularities of clinical information by an interval-based temporal data model. Methods Inform Med. 1995;34:458–474
  83. O’Connor MJ, Tu SW, Musen MA. Representation of temporal indeterminacy in clinical databases. In:  Overhage JM editors. Proceedings of annual AMIA symposium. Bethesda, MD: AMIA; 2000;p. 615–619
  84. National Research Council Committee on Innovations in Computing and Communications. Funding a Revolution: Government Support for Computing Research. Washington, DC: National Academy Press; 1999.
  85. Jones S, Mason P, Stamper RK. LEGOL 2.0: a relational specification language for complex rules. Inf Syst. 1979;4(4):293–305
  86. Snodgrass RT. Developing time-oriented database applications in SQL. San Francisco, CA: Morgan Kaufmann Publishers; 1999;
  87. In:  Snodgrass RT editors. The TSQL2 temporal query language. Dordrecht, Netherlands: Kluwer Academic Publishers; 1995;
  88. Eisenberg A, Melton J. SQL standardization: the next steps. SIGMOD Rec. 2000;29(1):63–67
  89. Hare KW. JCC's SQL standards page. [accessed: September 1, 2006]. http://www.jcc.com/sql.htm; February 2006.
  90. Das AK, Musen MA. A temporal query system for protocol-directed decision support. Methods Inform Med. 1994;33(4):358–370
  91. Nigrin DJ, Kohane IS. Temporal expressiveness in querying a time-stamp based clinical database. J Am Med Inform Assoc. 2000;7(2):152–163
  92. Desphande AM, Brandt C, Nadkarni PM. Temporal query of attribute-value patient data: utilizing the constraints of clinical studies. Int J Med Inform. 2003;70(1):59–77
  93. Saeed M, Lieu C, Raber G, Mark RG. MIMIC II: a massive temporal ICU patient database to support research in intelligent patient monitoring. Computers in cardiology. Los Alamitos, CA: IEEE Computer Society Press; 2002;p. 641–4
  94. Rhee S-Y, Gonzales MJ, Kantor R, Betts BJ, Ravela J, Shafer RW. Human immunodeficiency virus reverse transcriptase and protease sequence database. Nucl Acids Res. 2003;31(1):298–303
  95. Johnson SB. Generic data modeling for clinical repositories. J Am Med Inform Assoc. 1996;3(5):328–339
  96. Hripcsak G, Zhou L, Parsons S, Das AK, Johnson SB. Modeling electronic discharge summaries as a simple temporal constraint satisfaction problem. J Am Med Inform Assoc. 2005;12(1):55–63
  97. Kline N, Snodgrass RT. Computing temporal aggregates. In:  Yu PS,  Chen ALP editor. Proceedings of the 11th international conference on data engineering (ICDE). Taipei, Taiwan: IEEE Computer Society; 1995;p. 222–231
  98. Moon B, Vega López IF, Immanuel V. Efficient algorithms for large-scale temporal aggregation. IEEE Trans Knowl Data Eng. 2003;15(3):744–759
  99. Chatziantoniou D. The PanQ tool and EMF SQL for complex data management. In:  Chaudhuri S,  Madigan D,  Fayyad UM editor. Proceedings of the fifth ACM SIGKDD international conference on knowledge discovery and data mining. New York, NY: ACM; 1999;p. 420–424
  100. Johnson SB, Chatziantoniou D. Extended SQL for manipulating clinical warehouse data. In: Proceedings of annual AMIA symposium. Bethesda, MD: AMIA; 1999;p. 819–23
  101. Rafiq MI, O’Connor MJ, Das AK. Computational method for temporal pattern discovery in biomedical genomic databases. In: Fourth international IEEE computer society computational systems bioinformatics conference (CSB 2005). Los Alamitos, CA: IEEE Computer Society; 2005;p. 362–365

PII: S0933-3657(06)00141-2

doi: 10.1016/j.artmed.2006.10.001

Artificial Intelligence in Medicine
Volume 38, Issue 2 , Pages 101-113 , October 2006