Computing context-dependent temporal diagnosis in complex domains

Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based Reasoning (MBR) is one of the approaches that traditionally have tried to solve this problem thanks to its capacity for modelling and reasoning. The consideration of the temporal dimension in these domains is a challenging topic in MBR, especially if temporal imprecision is taken into account. Unfortunately, despite there being many successful MBR systems, there are still two fundamental problems in their development at the aforementioned domains: (1) the degree of dependency between the model used and the domain; and (2) the reutilization of the systems when the domain changes. First this paper proposes a set of basic requirements for the design of Knowledge-Based Systems that will help to solve the problem of temporal diagnosis for environments of high conceptual complexity. From these principles and through a deep analysis of the various approaches present in AI we establish a generic framework that addresses both goals by integrating MBR and ontologies for domain knowledge representation in order to describe a intermediate model representation to facilitate the low dependency between the model and the application domain. Finally, this paper demonstrates the use of the framework by developing a diagnosis system within a real medical environment (Intensive Care Unit) with a step-by-step description of the process, from the architecture through to implementation.

[1]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[2]  C J Langenberg.  Implementation of an electronic patient data management system (PDMS) on an intensive care unit (ICU). , 1996, International journal of bio-medical computing.

[3]  Roque Marín,et al.  Modelling Contextual Meta-Knowledge in Temporal Model Based Diagnosis , 2002, ECAI.

[4]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[5]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[6]  Arthur H. M. ter Hofstede,et al.  Formal description of temporal knowledge in case reports , 1999, Artif. Intell. Medicine.

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

[8]  Itay Meiri,et al.  Combining Qualitative and Quantitative Constraints in Temporal Reasoning , 1991, Artif. Intell..

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

[10]  Qiang Shen,et al.  Selecting tools and techniques for model-based diagnosis , 1998, Artif. Intell. Eng..

[11]  Henrik Eriksson,et al.  The evolution of Protégé: an environment for knowledge-based systems development , 2003, Int. J. Hum. Comput. Stud..

[12]  John Fox,et al.  Quantitative and Qualitative Approaches to Reasoning under Uncertainty in Medical Decision Making , 2001, AIME.

[13]  L. Console,et al.  Fuzzy temporal reasoning on causal models , 1991 .

[14]  S. Pal,et al.  Foundations of Soft Case-Based Reasoning: Pal/Soft Case-Based Reasoning , 2004 .

[15]  Dov M. Gabbay,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning , 1994 .

[16]  Roque Marín,et al.  Qualitative Temporal Reasoning with Points and Durations , 1997, IJCAI.

[17]  Pietro Torasso,et al.  Multiple representations and multi-modal reasoning in medical diagnostic systems , 2001, Artif. Intell. Medicine.

[18]  Luigi Portinale,et al.  Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis , 2004, Artif. Intell..

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

[20]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

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

[22]  Roque Marín,et al.  Fuzzy theory approach for temporal model-based diagnosis: An application to medical domains , 2006, Artif. Intell. Medicine.

[23]  Patrick Henry Winston,et al.  The psychology of computer vision , 1976, Pattern Recognit..

[24]  Drew McDermott,et al.  Problems in Formal Temporal Reasoning , 1988, Artif. Intell..

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

[26]  Marvin Minsky,et al.  Semantic Information Processing , 1968 .

[27]  Isabel Navarrete,et al.  Temporal Constraint Satisfaction Problems , 2003, Complexity of Infinite-Domain Constraint Satisfaction.

[28]  Diego Martínez Hernández,et al.  Experiences in reusing knowledge sources using Protégé and PROMPT , 2005, Int. J. Hum. Comput. Stud..

[29]  Ron Sun,et al.  Robust Reasoning: Integrating Rule-Based and Similarity-Based Reasoning , 1995, Artif. Intell..

[30]  Larry Eshelman,et al.  MOLE: A Knowledge-Acquisition Tool for Cover-and-Differentiate Systems , 1988 .

[31]  Agnar Aamodt,et al.  Case-Based Reasoning: Foundational Issues, Methodological Variations, and System Approaches , 1994, AI Commun..

[32]  D. Lindberg,et al.  The Unified Medical Language System , 1993, Methods of Information in Medicine.

[33]  Sandra Marcus,et al.  Automating Knowledge Acquisition for Expert Systems , 1988 .

[34]  Pietro Torasso,et al.  On the co-operation between abductive and temporal reasoning in medical diagnosis , 1991, Artif. Intell. Medicine.

[35]  Dwayne R. Westenskow,et al.  Evaluation of a pulmonary graphical display in the medical intensive care unit: An observational study , 2005, J. Biomed. Informatics.

[36]  G. P. Bhattacharjee,et al.  Temporal representation and reasoning in artificial intelligence: A review , 2001 .

[37]  Guus Schreiber,et al.  Knowledge Engineering and Management: The CommonKADS Methodology , 1999 .

[38]  Silvia Miksch,et al.  Combining diagnosis and treatment using ASBRU , 2002, Int. J. Medical Informatics.

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

[40]  David Maxwell Chickering,et al.  Learning Bayesian Networks: The Combination of Knowledge and Statistical Data , 1994, Machine Learning.

[41]  Kenneth M. Kahn,et al.  Mechanizing Temporal Knowledge , 1977, Artif. Intell..

[42]  Abdul V. Roudsari,et al.  Integrating model-based decision support in a multi-modal reasoning system for managing type 1 diabetic patients , 2003, Artif. Intell. Medicine.

[43]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .

[44]  Mariano Fernández-López,et al.  Ontological Engineering , 2003, Encyclopedia of Database Systems.

[45]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[46]  Christine W. Chan,et al.  An architectural framework for the construction of hybrid intelligent forecasting systems: application for electricity demand prediction , 1998 .

[47]  Senén Barro,et al.  Fuzzy constraint networks for signal pattern recognition , 2003, Artif. Intell..

[48]  Nigel Shadbolt,et al.  Knowledge Engineering and Management , 2000 .

[49]  A MusenMark,et al.  The evolution of Protgé , 2003 .

[50]  Peter Struss,et al.  Fundamentals of Model-Based Diagnosis of Dynamic Systems , 1997, IJCAI.

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

[52]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[53]  Henry A. Kautz,et al.  Integrating Metric and Qualitative Temporal Reasoning , 1991, AAAI.

[54]  Peter van Beek,et al.  Temporal query processing with indefinite information , 1991, Artif. Intell. Medicine.

[55]  Andrew Todd-Pokropek,et al.  A model for integrating image processing into decision aids for diagnostic radiology , 1997, Artif. Intell. Medicine.